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

/seL4-l4v-10.1.1/HOL4/src/portableML/poly/
H A DSusp.sig7 val delay : (unit -> 'a) -> 'a susp value
H A DSusp.sml9 fun delay (f : unit -> 'a) = ref (THUNK f) : 'a susp function
/seL4-l4v-10.1.1/isabelle/src/Tools/Metis/src/
H A DLazy.sig13 val delay : (unit -> 'a) -> 'a lazy value
H A DLazy.sml17 fun delay f = Lazy (ref (Thunk f)); function
/seL4-l4v-10.1.1/l4v/isabelle/src/Tools/Metis/src/
H A DLazy.sig13 val delay : (unit -> 'a) -> 'a lazy value
H A DLazy.sml17 fun delay f = Lazy (ref (Thunk f)); function
/seL4-l4v-10.1.1/HOL4/src/portableML/
H A Dseq.sig23 val delay : (unit -> 'a seq) -> 'a seq value
H A Dseq.sml12 fun delay f = LDELAYREF (ref (LDELAYED f)) function
[all...]
H A DPortable.sig244 val delay : (unit -> 'a) -> 'a susp value
/seL4-l4v-10.1.1/HOL4/tools/
H A Dconfigure-mosml.sml57 fun delay limit action = let function
/seL4-l4v-10.1.1/HOL4/tools-poly/
H A Dsmart-configure.sml53 fun delay limit action = let function

Completed in 59 milliseconds