Searched defs:side (Results 1 - 4 of 4) sorted by relevance

/seL4-l4v-10.1.1/HOL4/src/emit/
H A DEmitML.sig11 datatype side = LEFT | RIGHT type
H A DEmitML.sml200 datatype side = LEFT | RIGHT; type
/seL4-l4v-10.1.1/HOL4/examples/machine-code/hoare-triple/
H A DtailrecLib.sml91 val side = ISPEC step_fun SHORT_TAILREC_PRE_def value
/seL4-l4v-10.1.1/HOL4/examples/machine-code/graph/
H A Dgraph_specsLib.sml265 val side = if length hs = 0 then ``NONE:(state->bool) option`` value
311 val side = if length hs = 0 then ``NONE:(state->bool) option`` value

Completed in 185 milliseconds