/seL4-l4v-master/HOL4/polyml/basis/ |
H A D | ListPair.sml | 26 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-master/HOL4/examples/dev/sw2/ |
H A D | patternMatch.sml | 98 fun zip ([],[]) = [] function
|
/seL4-l4v-master/HOL4/examples/elliptic/ |
H A D | Stream.sig | 52 val zip : 'a stream -> 'b stream -> ('a * 'b) stream value
|
H A D | Stream.sml | 87 fun zip s t = zipwith pair s t; function
|
H A D | Useful.sig | 145 val zip : 'a list -> 'b list -> ('a * 'b) list value
|
H A D | Useful.sml | 246 fun zip xs ys = zipwith pair xs ys; function
|
/seL4-l4v-master/HOL4/src/metis/ |
H A D | mlibStream.sig | 30 val zip : 'a stream -> 'b stream -> ('a * 'b) stream value
|
H A D | mlibStream.sml | 75 fun zip s t = zipwith pair s t; function
|
H A D | mlibUseful.sig | 69 val zip : 'a list -> 'b list -> ('a * 'b) list value
|
/seL4-l4v-master/isabelle/src/Tools/Metis/src/ |
H A D | Stream.sig | 53 val zip : 'a stream -> 'b stream -> ('a * 'b) stream value
|
H A D | Stream.sml | 86 fun zip s t = zipwith pair s t; function
|
H A D | Useful.sig | 126 val zip : 'a list -> 'b list -> ('a * 'b) list value
|
/seL4-l4v-master/l4v/isabelle/src/Tools/Metis/src/ |
H A D | Stream.sig | 53 val zip : 'a stream -> 'b stream -> ('a * 'b) stream value
|
H A D | Stream.sml | 86 fun zip s t = zipwith pair s t; function
|
H A D | Useful.sig | 126 val zip : 'a list -> 'b list -> ('a * 'b) list value
|
/seL4-l4v-master/HOL4/tools/mlyacc/src/ |
H A D | mklrtable.sml | 324 fun zip (h::t,h'::t') = (h,h') :: zip(t,t') function
|
/seL4-l4v-master/HOL4/examples/acl2/examples/M1/ |
H A D | hol_defaxiomsScript.sml | 600 val zip = value [all...] |
/seL4-l4v-master/HOL4/examples/acl2/examples/acl2-hol-ltl-paper-example/ |
H A D | hol_defaxiomsScript.sml | 599 val zip = value [all...] |
/seL4-l4v-master/HOL4/examples/acl2/ml/ |
H A D | hol_defaxiomsScript.sml | 595 val zip = value [all...] |
/seL4-l4v-master/HOL4/src/prekernel/ |
H A D | Lib.sml | 159 fun zip [] [] = [] function
|
H A D | Lib.sig | 179 val zip : 'a list -> 'b list -> ('a * 'b) list value
|
/seL4-l4v-master/HOL4/examples/dev/sw/ |
H A D | regAllocation.sml | 152 fun zip ([], []) = [] function
|
/seL4-l4v-master/HOL4/examples/dev/sw/working/0.1/ |
H A D | regAllocation.sml | 152 fun zip ([], []) = [] function
|
/seL4-l4v-master/HOL4/examples/dev/sw/working/0.2/ |
H A D | regAllocation.sml | 152 fun zip ([], []) = [] function
|
/seL4-l4v-master/l4v/tools/haskell-translator/ |
H A D | lhs_pars.py | 16 from six.moves import zip namespace
|