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

/seL4-l4v-master/HOL4/Manual/Translations/IT/Description/
H A Ddefinitions.tex
/seL4-l4v-master/HOL4/examples/l3-machine-code/common/
H A DImport.sig139 val Record : string * ParseDatatype.field list -> unit value
H A DImport.sml149 fun Record (n, l) = function

Completed in 75 milliseconds