Searched defs:flatten (Results 1 - 12 of 12) sorted by relevance

/seL4-l4v-10.1.1/HOL4/src/portableML/
H A Dseq.sig27 val flatten : 'a seq seq -> 'a seq value
H A Dseq.sml76 fun flatten LNIL = LNIL function
H A DPortable.sig71 val flatten : 'a list list -> 'a list value
H A DPortable.sml170 val flatten = List.concat value
/seL4-l4v-10.1.1/HOL4/examples/elliptic/
H A DStream.sig72 val flatten : 'a stream stream -> 'a stream value
H A DStream.sml129 fun flatten NIL = NIL function
/seL4-l4v-10.1.1/HOL4/src/metis/
H A DmlibStream.sig40 val flatten : 'a stream stream -> 'a stream value
H A DmlibStream.sml109 fun flatten NIL = NIL function
H A DmlibTermnet.sml29 val flatten = List.concat; value
/seL4-l4v-10.1.1/HOL4/examples/machine-code/acl2/
H A Dm1_progLib.sml114 fun flatten (FUN_IF (x,t1,t2)) = FUN_IF (x, flatten t1, flatten t2) function
[all...]
/seL4-l4v-10.1.1/HOL4/src/prekernel/
H A DLib.sig62 val flatten : 'a list list -> 'a list value
/seL4-l4v-10.1.1/HOL4/examples/theorem-prover/lisp-runtime/implementation/
H A Dlisp_compiler_opScript.sml2032 fun flatten exp = function

Completed in 78 milliseconds