Searched defs:inline (Results 1 - 3 of 3) sorted by path

/seL4-l4v-10.1.1/HOL4/examples/dev/
H A DinlineCompile.sml240 fun inline th = let val tm = (snd o dest_eq o snd o dest_thm) th function
/seL4-l4v-10.1.1/HOL4/examples/dev/sw2/
H A Dinline.sig1 signature inline = signature
H A Dinline.sml1 structure inline :> inline = structure

Completed in 57 milliseconds