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

/seL4-l4v-10.1.1/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-10.1.1/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-10.1.1/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-10.1.1/HOL4/src/portableML/
H A Dseq.sml13 fun force s = function
[all...]
H A DPortable.sig245 val force : 'a susp -> 'a value
/seL4-l4v-10.1.1/HOL4/examples/separationLogic/src/holfoot/
H A DholfootParser.sml715 (let val (force, wL, rL) = valOf rwOpt in value

Completed in 112 milliseconds