Searched defs:False (Results 1 - 4 of 4) sorted by last modified time

/seL4-l4v-10.1.1/HOL4/polyml/mlsource/MLCompiler/CodeTree/
H A DCODETREE_SIMPLIFIER.sml1361 val False = word0 value
H A DCODETREE_FUNCTIONS.sml38 val False = word0 value
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/
H A Dinterpret.cpp91 const PolyWord False = TAGGED(0); variable
[all...]
/seL4-l4v-10.1.1/HOL4/src/HolQbf/
H A DQbfCertificate.sml281 exception False exception

Completed in 51 milliseconds