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

/seL4-l4v-10.1.1/HOL4/polyml/basis/
H A DOption.sml82 structure dummy: structure
/seL4-l4v-10.1.1/HOL4/examples/HolCheck/
H A DstringBinTree.sml150 val dummy = if (List.null keys) then ``ARB`` else ``ARB:^(ty_antiq(type_of (snd(hd keymap))))`` value
[all...]
/seL4-l4v-10.1.1/HOL4/tools/mlyacc/src/
H A Dlalr.sml204 val dummy = ref nil value
/seL4-l4v-10.1.1/HOL4/examples/muddy/muddyC/
H A Dmuddy.c166 EXTERNML value mlbdd_getvarnum(value dummy) /* ML */ argument
632 EXTERNML value mlbdd_bdd_clrvarblocks(value dummy) /* ML */ argument
659 EXTERNML value mlbdd_bdd_getreorder_method(value dummy) /* ML */ argument
666 EXTERNML value mlbdd_bdd_getreorder_times(value dummy) /* ML */ argument
673 EXTERNML value mlbdd_bdd_disable_reorder(value dummy) /* ML */ argument
680 EXTERNML value mlbdd_bdd_enable_reorder(value dummy) /* ML */ argument

Completed in 40 milliseconds