Searched defs:zip (Results 1 - 25 of 35) sorted by last modified time

12

/seL4-l4v-10.1.1/l4v/tools/haskell-translator/
H A Dlhs_pars.py20 from six.moves import zip namespace
/seL4-l4v-10.1.1/isabelle/src/Tools/Metis/src/
H A DUseful.sml219 fun zip xs ys = zipWith pair xs ys; function
H A DUseful.sig126 val zip : 'a list -> 'b list -> ('a * 'b) list value
H A DStream.sml86 fun zip s t = zipwith pair s t; function
H A DStream.sig53 val zip : 'a stream -> 'b stream -> ('a * 'b) stream value
/seL4-l4v-10.1.1/l4v/isabelle/src/Tools/Metis/src/
H A DUseful.sml219 fun zip xs ys = zipWith pair xs ys; function
H A DUseful.sig126 val zip : 'a list -> 'b list -> ('a * 'b) list value
H A DStream.sml86 fun zip s t = zipwith pair s t; function
H A DStream.sig53 val zip : 'a stream -> 'b stream -> ('a * 'b) stream value
/seL4-l4v-10.1.1/HOL4/polyml/basis/
H A DListPair.sml26 val zip : ('a list * 'b list) -> ('a * 'b) list value
46 fun zip (h::t, h'::t') = (h, h') :: zip(t, t') function
/seL4-l4v-10.1.1/HOL4/tools/mlyacc/src/
H A Dmklrtable.sml324 fun zip (h::t,h'::t') = (h,h') :: zip(t,t') 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/HOL4/src/prekernel/
H A DLib.sml159 fun zip [] [] = [] function
H A DLib.sig169 val zip : 'a list -> 'b list -> ('a * 'b) list value
/seL4-l4v-10.1.1/HOL4/src/metis/
H A DmlibUseful.sml199 fun zip xs ys = zipwith pair xs ys; function
H A DmlibUseful.sig69 val zip : 'a list -> 'b list -> ('a * 'b) list value
H A DmlibStream.sig30 val zip : 'a stream -> 'b stream -> ('a * 'b) stream value
H A DmlibStream.sml75 fun zip s t = zipwith pair s t; function
/seL4-l4v-10.1.1/HOL4/examples/miller/useful/
H A DHurdUseful.sml223 fun zip xs ys = zip_aux cons xs ys; function
H A DHurdUseful.sig122 val zip : 'a list -> 'b list -> ('a * 'b) list value
/seL4-l4v-10.1.1/HOL4/examples/elliptic/
H A DUseful.sml246 fun zip xs ys = zipwith pair xs ys; function
H A DUseful.sig145 val zip : 'a list -> 'b list -> ('a * 'b) list value
H A DStream.sig52 val zip : 'a stream -> 'b stream -> ('a * 'b) stream value
H A DStream.sml87 fun zip s t = zipwith pair s t; function
/seL4-l4v-10.1.1/HOL4/examples/diningcryptos/
H A DsubtypeUseful.sml247 fun zip xs ys = zip_aux cons xs ys; function

Completed in 157 milliseconds

12