Searched defs:UNTIL (Results 1 - 3 of 3) sorted by relevance

/seL4-l4v-master/HOL4/src/temporal/src/
H A DTemporal_LogicScript.sml42 val UNTIL = new_infixr_definition("UNTIL", value
[all...]
H A DtemporalLib.sml85 val UNTIL = Term`$UNTIL` value
/seL4-l4v-master/HOL4/examples/machine-code/decompiler/
H A DdecompilerLib.sml1417 fun UNTIL g f x = if g x then x else UNTIL g f (f x) function

Completed in 160 milliseconds