Searched defs:force (Results 1 - 11 of 11) sorted by relevance

/seL4-l4v-master/HOL4/src/portableML/poly/
H A DSusp.sig8 val force : 'a susp -> 'a value
H A DSusp.sml11 fun force (su : 'a susp) : 'a = function
/seL4-l4v-master/isabelle/src/Tools/Metis/src/
H A DLazy.sig15 val force : 'a lazy -> 'a value
H A DLazy.sml19 fun force (Lazy s) = function
/seL4-l4v-master/l4v/isabelle/src/Tools/Metis/src/
H A DLazy.sig15 val force : 'a lazy -> 'a value
H A DLazy.sml19 fun force (Lazy s) = function
/seL4-l4v-master/HOL4/src/portableML/
H A Dseq.sml13 fun force s = function
[all...]
H A DPortable.sig254 val force : 'a susp -> 'a value
/seL4-l4v-master/HOL4/src/postkernel/
H A DTheoryReader.sml93 fun force s dec t = function
H A DSharingTables.sml511 fun force s dec t = function
/seL4-l4v-master/HOL4/examples/separationLogic/src/holfoot/
H A DholfootParser.sml715 (let val (force, wL, rL) = valOf rwOpt in value

Completed in 114 milliseconds