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

/seL4-l4v-10.1.1/HOL4/examples/acl2/ml/
H A DencodeLib.sml1255 val subtypes = get_sub_types basetype t value
1972 val subtypes = sub_types t value
/seL4-l4v-10.1.1/HOL4/examples/miller/subtypes/
H A DsubtypeTools.sml408 val subtypes = SUBTYPE_CHECK false depth sc elt value
[all...]
/seL4-l4v-10.1.1/graph-refine/
H A Dsyntax.py315 def subtypes (self): member in class:Type
566 def subtypes (self): member in class:Struct

Completed in 64 milliseconds