Searched defs:zip (Results 26 - 35 of 35) sorted by relevance

12

/seL4-l4v-10.1.1/HOL4/src/metis/
H A DmlibUseful.sml199 fun zip xs ys = zipwith pair xs ys; function
/seL4-l4v-10.1.1/HOL4/tools/Holmake/
H A Dbasis2002.sml4 val zip : 'a list * 'b list -> ('a * 'b) list value
/seL4-l4v-10.1.1/isabelle/src/Tools/Metis/src/
H A DUseful.sml219 fun zip xs ys = zipWith pair xs ys; function
/seL4-l4v-10.1.1/l4v/isabelle/src/Tools/Metis/src/
H A DUseful.sml219 fun zip xs ys = zipWith pair xs ys; function
/seL4-l4v-10.1.1/HOL4/examples/diningcryptos/
H A DformalizeUseful.sig123 val zip : 'a list -> 'b list -> ('a * 'b) list value
H A DsubtypeUseful.sig123 val zip : 'a list -> 'b list -> ('a * 'b) list value
H A DformalizeUseful.sml247 fun zip xs ys = zip_aux cons xs ys; function
H A DsubtypeUseful.sml247 fun zip xs ys = zip_aux cons xs ys; function
/seL4-l4v-10.1.1/HOL4/examples/miller/useful/
H A DHurdUseful.sig122 val zip : 'a list -> 'b list -> ('a * 'b) list value
H A DHurdUseful.sml223 fun zip xs ys = zip_aux cons xs ys; function

Completed in 131 milliseconds

12