Searched defs:Check (Results 1 - 2 of 2) sorted by relevance

/seL4-l4v-master/HOL4/polyml/libpolyml/
H A Dcheck_objects.h35 #define Check(pt) {if (debugOptions & DEBUG_CHECK_OBJECTS) DoCheck(pt); } macro
/seL4-l4v-master/HOL4/examples/HolBdd/Examples/Solitaire/
H A DMiniTLHexSolitaireScript.sml234 fun Check wff = function

Completed in 41 milliseconds