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

/seL4-l4v-master/HOL4/tools/mlyacc/src/
H A Dabsyn.sml126 val cr = ["\n"] value
/seL4-l4v-master/seL4/include/arch/arm/arch/32/mode/machine/
H A Dregisterset.h189 word_t cr, vr; member in struct:debug_register_pair
/seL4-l4v-master/HOL4/polyml/mlsource/MLCompiler/ParseTree/
H A DMATCH_COMPILER.sml291 val cr = value
368 val cr = value
/seL4-l4v-master/HOL4/src/coretypes/
H A DPairRules.sml179 val ((cr,rt),pr) = int_pairlike p2 x2 value
206 val ((cr,rt),pr) = (int_pairlike p2 x'2) value

Completed in 318 milliseconds