Lines Matching refs:list
10 val lookup: ('a * 'b -> bool) -> ('b * 'c) list -> 'a -> 'c option
11 val defined: ('a * 'b -> bool) -> ('b * 'c) list -> 'a -> bool
13 -> ('a * 'b) list -> ('a * 'b) list
15 -> ('a * 'b) list -> ('a * 'b) list
17 -> ('b * 'c) list -> ('b * 'c) list
19 -> ('b * 'c) list -> ('b * 'c) list
21 -> ('b * 'c) list -> 'd option * ('b * 'c) list
23 -> ('a * 'b) list -> ('a * 'b) list
25 -> ('a * 'b) list * ('a * 'b) list -> ('a * 'b) list (*exception DUP*)
27 -> ('a * 'b) list * ('a * 'b) list -> ('a * 'b) list (*exception DUP*)
28 val make: ('a -> 'b) -> 'a list -> ('a * 'b) list
29 val find: ('a * 'b -> bool) -> ('c * 'b) list -> 'a -> 'c list
30 val coalesce: ('a * 'a -> bool) -> ('a * 'b) list -> ('a * 'b list) list
32 val group: ('a * 'a -> bool) -> ('a * 'b) list -> ('a * 'b list) list