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

/seL4-l4v-master/HOL4/examples/dev/sw2/
H A Dbasic.sml241 val sane = List.all (fn x => type_of x = var_type) fv value
H A DSALGen.sml303 val (sane,var_type) = pre_check(#input rs, #body rs) value
H A DfuncCall.sml232 val (sane,var_type) = pre_check(args,body) value
H A DregAlloc.sml512 let val sane = ref true value
666 val (sane,var_type) = pre_check(args,body) value

Completed in 44 milliseconds