Searched defs:unzip (Results 1 - 14 of 14) sorted by relevance

/seL4-l4v-10.1.1/HOL4/polyml/basis/
H A DListPair.sml28 val unzip : ('a * 'b) list -> ('a list * 'b list) value
53 fun unzip ((a, b) :: l) = function
/seL4-l4v-10.1.1/HOL4/tools/mlyacc/src/
H A Dmklrtable.sml328 fun unzip l = function
/seL4-l4v-10.1.1/HOL4/examples/elliptic/
H A DUseful.sig147 val unzip : ('a * 'b) list -> 'a list * 'b list value
H A DUseful.sml248 fun unzip ab = function
/seL4-l4v-10.1.1/HOL4/src/metis/
H A DmlibUseful.sig70 val unzip : ('a * 'b) list -> 'a list * 'b list value
H A DmlibUseful.sml201 fun unzip ab = function
/seL4-l4v-10.1.1/HOL4/src/prekernel/
H A DLib.sig162 val unzip : ('a * 'b) list -> 'a list * 'b list value
/seL4-l4v-10.1.1/isabelle/src/Tools/Metis/src/
H A DUseful.sig128 val unzip : ('a * 'b) list -> 'a list * 'b list value
H A DUseful.sml224 fun unzip ab = List.foldl inc ([],[]) (List.rev ab); function
/seL4-l4v-10.1.1/l4v/isabelle/src/Tools/Metis/src/
H A DUseful.sig128 val unzip : ('a * 'b) list -> 'a list * 'b list value
H A DUseful.sml224 fun unzip ab = List.foldl inc ([],[]) (List.rev ab); function
/seL4-l4v-10.1.1/HOL4/src/portableML/
H A DPortable.sig68 val unzip : ('a * 'b) list -> 'a list * 'b list value
H A DPortable.sml161 val unzip = ListPair.unzip value
/seL4-l4v-10.1.1/HOL4/tools/Holmake/
H A Dbasis2002.sml6 val unzip : ('a * 'b) list -> 'a list * 'b list value

Completed in 179 milliseconds