Searched defs:empty (Results 51 - 75 of 161) sorted by relevance

1234567

/seL4-l4v-10.1.1/HOL4/src/metis/
H A DmlibMultiset.sml29 fun empty ord : 'a mset = M.mkDict ord; function
H A DmlibPatricia.sml30 val empty = Empty value
H A DmlibUnits.sml92 val empty : units = INR uempty; value
H A DmlibSubsume.sml112 fun empty () = SUBSUME function
/seL4-l4v-10.1.1/HOL4/src/parse/
H A DTypeNet.sml47 val empty = (EMPTY, 0) value
H A DLVTermNet.sml38 val empty = (EMPTY, 0) value
H A DPretype.sig10 val empty : t value
/seL4-l4v-10.1.1/HOL4/src/portableML/
H A DRedblackset.sig8 val empty : ('item * 'item -> order) -> 'item set value
H A Dseq.sig34 val empty : 'a seq value
H A Dseq.sml86 val empty = LNIL value
/seL4-l4v-10.1.1/HOL4/src/portableML/poly/
H A DIntset.sig12 val empty : intset value
/seL4-l4v-10.1.1/HOL4/src/postkernel/
H A DTheoryGraph.sml21 val empty : t = Binarymap.mkDict thy_compare value
/seL4-l4v-10.1.1/HOL4/src/prekernel/
H A Dstringfindreplace.sml9 fun empty() = Nd (NONE, Binarymap.mkDict Char.compare) function
/seL4-l4v-10.1.1/HOL4/tools/Holmake/
H A DHM_DepGraph.sig24 val empty : t value
/seL4-l4v-10.1.1/HOL4/tools-poly/poly/
H A DBinaryset.sig12 val empty : ('item * 'item -> order) -> 'item set value
/seL4-l4v-10.1.1/isabelle/src/Tools/Metis/src/
H A DSubst.sig19 val empty : subst value
H A DUnits.sml23 val empty = Units (LiteralNet.new {fifo = false}); value
/seL4-l4v-10.1.1/l4v/isabelle/src/Tools/Metis/src/
H A DSubst.sig19 val empty : subst value
H A DUnits.sml23 val empty = Units (LiteralNet.new {fifo = false}); value
/seL4-l4v-10.1.1/HOL4/examples/acl2/tests/inputs/
H A Dsets.lisp
/seL4-l4v-10.1.1/HOL4/examples/dev/sw/
H A Dgr-sig.sml65 val empty : ('a,'b) graph value
112 val empty : 'a graph value
/seL4-l4v-10.1.1/HOL4/examples/dev/sw/working/0.1/
H A Dgr-sig.sml65 val empty : ('a,'b) graph value
112 val empty : 'a graph value
/seL4-l4v-10.1.1/HOL4/examples/dev/sw/working/0.2/util/
H A Dgr-sig.sml65 val empty : ('a,'b) graph value
112 val empty : 'a graph value
/seL4-l4v-10.1.1/HOL4/examples/elliptic/
H A DsubtypeTools.sig48 val empty : context value
/seL4-l4v-10.1.1/HOL4/src/emit/
H A DConstMapML.sml29 val empty : unit -> 'a dict value
86 fun empty() = RBM.mkDict cmp function

Completed in 288 milliseconds

1234567