Searched defs:is_empty (Results 1 - 21 of 21) sorted by relevance

/seL4-l4v-10.1.1/HOL4/src/metis/
H A DmlibHeap.sig13 val is_empty : 'a heap -> bool value
H A DmlibHeap.sml36 fun is_empty (mlibHeap (_, _, E)) = true function
H A DmlibClause.sig37 val is_empty : clause -> bool value
H A DmlibClause.sml227 val is_empty = null o literals; value
/seL4-l4v-10.1.1/HOL4/tools/mlyacc/src/
H A Dutils-sig.sml37 and is_empty: set -> bool value
H A Dutils.sml125 val is_empty = fn nil => true | _ => false value
356 fun is_empty S = (let val _ = select_arb S in false end function
/seL4-l4v-10.1.1/HOL4/src/0/
H A DNet.sml45 fun is_empty (NODE[]) = true function
/seL4-l4v-10.1.1/HOL4/src/bag/
H A DbagLib.sig39 val is_empty : term -> bool value
H A DbagSyntax.sig37 val is_empty : term -> bool value
H A DbagSyntax.sml124 val is_empty = same_const EMPTY_BAG_tm value
/seL4-l4v-10.1.1/HOL4/src/experimental-kernel/
H A DNet.sml45 fun is_empty (NODE[]) = true function
/seL4-l4v-10.1.1/HOL4/src/parse/
H A DFCNet.sml30 fun is_empty (NODE[]) = true function
/seL4-l4v-10.1.1/HOL4/src/portableML/
H A DTable.sml23 val is_empty: 'a table -> bool value
91 fun is_empty Empty = true function
H A DGraph.sml13 val is_empty: T -> bool value
23 val is_empty: 'a T -> bool value
97 fun is_empty (Keys tab) = Table.is_empty tab; function
124 fun is_empty (Graph tab) = Table.is_empty tab; function
[all...]
H A DOldPP.sml39 fun is_empty (QUEUE{front=f, back=b,...}) = (!f = ~1 andalso !b = ~1) function
/seL4-l4v-10.1.1/HOL4/src/pred_set/src/
H A Dpred_setSyntax.sml91 val is_empty = Lib.can dest_empty value
H A Dpred_setSyntax.sig124 val is_empty : term -> bool value
/seL4-l4v-10.1.1/HOL4/src/patricia/
H A DpatriciaSyntax.sig75 val is_empty : term -> bool value
H A DpatriciaSyntax.sml162 val is_empty = same_const empty_tm value
/seL4-l4v-10.1.1/HOL4/src/tactictoe/src/
H A DtttTools.sml405 fun is_empty s = s = "" function
/seL4-l4v-10.1.1/HOL4/src/postkernel/
H A DTheory.sml472 val is_empty = value

Completed in 103 milliseconds