Searched defs:fstr (Results 1 - 3 of 3) sorted by relevance

/seL4-l4v-10.1.1/HOL4/examples/dev/sw2/
H A Dmonomorphisation.sml216 let val fstr = #1 (dest_const M) handle _ => #1 (dest_var M) value
/seL4-l4v-10.1.1/HOL4/examples/lambda/basics/
H A DbinderLib.sml511 val fstr = case f of value
[all...]
/seL4-l4v-10.1.1/HOL4/src/tfl/src/
H A DDefn.sml1642 val fstr = dest_head f value

Completed in 101 milliseconds