Searched defs:capture (Results 1 - 8 of 8) sorted by relevance

/seL4-l4v-master/HOL4/src/portableML/mosml/
H A DExn.sig8 val capture: ('a -> 'b) -> 'a -> 'b result value
H A DExn.sml12 fun capture f x = Res (f x) handle e => Exn e function
/seL4-l4v-master/HOL4/src/AI/sml_inspection/
H A DsmlTimeout.sml17 fun capture f x = Res (f x) handle e => Exn e function
H A DsmlParallel.sml28 fun capture f x = Res (f x) handle e => Exn e function
/seL4-l4v-master/HOL4/src/portableML/poly/
H A DExn.sig17 val capture: ('a -> 'b) -> 'a -> 'b result value
H A DExn.sml40 fun capture f x = Res (f x) handle e => Exn e; function
/seL4-l4v-master/HOL4/tools/Holmake/
H A DHolmake_tools.sig42 val capture : ('a -> 'b) -> 'a -> 'b result value
H A DHolmake_tools.sml17 fun capture f x = Res (f x) handle e => Exn e function

Completed in 57 milliseconds