Searched defs:record (Results 1 - 8 of 8) sorted by relevance

/seL4-l4v-master/l4v/tools/c-parser/testfiles/
H A Dparse_complit.c59 struct foo record = {.x = 3,}; local
/seL4-l4v-master/HOL4/src/metis/
H A DmlibResolution.sml251 fun record infs = record_infs (Uref.!slice_ref) infs function
/seL4-l4v-master/HOL4/Manual/Translations/IT/Description/
H A Ddefinitions.tex[all...]
/seL4-l4v-master/HOL4/examples/acl2/tests/inputs/
H A Drecords.lisp[all...]
H A Dcone-of-influence.lisp[all...]
H A Dsummary.lisp
H A Dcircuits.lisp
/seL4-l4v-master/HOL4/src/tactictoe/src/
H A DtttUnfold.sml481 val (record,cont) = split_level "}" m value

Completed in 70 milliseconds