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

/seL4-l4v-10.1.1/HOL4/examples/l3-machine-code/arm8/model/
H A Darm8.sml1478 val bot = value
/seL4-l4v-10.1.1/HOL4/src/datatype/
H A Dind_types.sml192 val bot = mk_const("ind_type", "BOTTOM",[aty |-> pty]) value
/seL4-l4v-10.1.1/HOL4/examples/l3-machine-code/arm/model/
H A Darm.sml4793 val bot = value

Completed in 150 milliseconds