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

/seL4-l4v-10.1.1/HOL4/src/pred_set/src/
H A DPFset_conv.sml26 fun check_const cnst = assert (same_const cnst); function
/seL4-l4v-10.1.1/HOL4/examples/acl2/ml/
H A DpolytypicLib.sml3399 fun check_const result tm = function

Completed in 106 milliseconds