Searched defs:toList (Results 1 - 25 of 44) sorted by relevance

12

/seL4-l4v-10.1.1/HOL4/src/metis/
H A DmlibOmega.sig24 val toList : factoid -> arbint list value
/seL4-l4v-10.1.1/isabelle/src/Tools/Metis/src/
H A DHeap.sig25 val toList : 'a heap -> 'a list value
H A DHeap.sml56 fun toList h = function
H A DSubst.sig31 val toList : subst -> (Term.var * Term.term) list value
H A DStream.sig97 val toList : 'a stream -> 'a list value
H A DSubst.sml33 fun toList (Subst m) = NameMap.toList m; function
H A DElementSet.sig151 val toList : set -> element list value
H A DKeyMap.sig176 val toList : 'a map -> (key * 'a) list value
H A DMap.sig166 val toList : ('key,'a) map -> ('key * 'a) list value
H A DSet.sig133 val toList : 'elt set -> 'elt list value
H A DSet.sml301 fun toList (Set m) = Map.keys m; function
/seL4-l4v-10.1.1/l4v/isabelle/src/Tools/Metis/src/
H A DHeap.sig25 val toList : 'a heap -> 'a list value
H A DHeap.sml56 fun toList h = function
H A DSubst.sig31 val toList : subst -> (Term.var * Term.term) list value
H A DStream.sig97 val toList : 'a stream -> 'a list value
H A DSubst.sml33 fun toList (Subst m) = NameMap.toList m; function
/seL4-l4v-10.1.1/HOL4/examples/l3-machine-code/lib/
H A DBitstring.sig27 val toList: bitstring -> bool list value
H A DBitstring.sml133 fun toList l = l function
H A DBitsN.sig95 val toList: nbit -> bool list value
H A DBitsN.sml133 fun toList (B (a, s)) = iter ([], a, Nat.toInt s) function
/seL4-l4v-10.1.1/HOL4/src/1/
H A DAC_Sort.sml46 fun toList t = function
/seL4-l4v-10.1.1/HOL4/examples/elliptic/
H A DMap.sig73 val toList : ('key,'a) map -> ('key * 'a) list value
/seL4-l4v-10.1.1/HOL4/src/parse/
H A DPretype.sig12 val toList : t -> (int * pretype option) list value
H A DPretype.sml17 fun toList (d,c) = List.tabulate(c, fn i => (i, Binarymap.peek(d,i))) function
/seL4-l4v-10.1.1/HOL4/examples/formal-languages/regular/
H A Dregexp2dfa.sml309 let fun toList V = List.map (curry Vector.sub V) (upto 0 (Vector.length V - 1)) function

Completed in 139 milliseconds

12