Searched defs:True (Results 1 - 3 of 3) sorted by path

/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/
H A Dinterpret.cpp90 const PolyWord True = TAGGED(1); variable
[all...]
/seL4-l4v-10.1.1/HOL4/polyml/mlsource/MLCompiler/CodeTree/
H A DCODETREE_FUNCTIONS.sml39 and True = word1 value
H A DCODETREE_SIMPLIFIER.sml1362 val True = word1 value

Completed in 158 milliseconds