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

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

Completed in 77 milliseconds