Searched defs:bc (Results 1 - 7 of 7) sorted by relevance

/seL4-l4v-master/HOL4/tools/Holmake/
H A DHM_GraphBuildJ1.sml47 val bc = build_command g value
/seL4-l4v-master/HOL4/src/1/
H A Dmatch_goal.sig100 val bc : pattern -> matcher value
H A Dmatch_goal.sml186 val bc = cb value
/seL4-l4v-master/HOL4/tools/Holmake/poly/
H A Dmultibuild.sml160 fun bc c f = pushdir dir (build_command g incinfo c) f function
/seL4-l4v-master/HOL4/src/portableML/
H A DUTF8.sml112 val bc = byte1_count c value
143 val bc = byte1_count c value
/seL4-l4v-master/HOL4/polyml/libpolyml/
H A Drealconv.cpp2331 (x, bc) U *x; BCinfo *bc; variable
2354 U *rv; CONST char *s0; BCinfo *bc; variable
2574 BCinfo bc; variable
[all...]
/seL4-l4v-master/HOL4/src/bool/
H A DboolScript.sml3859 val bc = MP bc3 (REFL fT) value

Completed in 82 milliseconds