Searched defs:kind (Results 1 - 8 of 8) sorted by path

/seL4-l4v-10.1.1/HOL4/examples/acl2/examples/M1/
H A Dsexp.sml2263 let val (kind,name) = dest_acl2def a value
/seL4-l4v-10.1.1/HOL4/examples/acl2/examples/acl2-hol-ltl-paper-example/
H A Dsexp.sml2187 let val (kind,name) = dest_acl2def a value
/seL4-l4v-10.1.1/HOL4/examples/acl2/ml/
H A Dsexp.sml2187 let val (kind,name) = dest_acl2def a value
/seL4-l4v-10.1.1/HOL4/help/src-sml/
H A DHtmlsigs.sml206 val (kind, rest) = splitl isKind decl value
/seL4-l4v-10.1.1/HOL4/polyml/basis/
H A DOS.sml115 val kind : iodesc -> iodesc_kind value
957 fun kind (i: iodesc): iodesc_kind = function
H A DReal.sml389 val kind = class r value
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/
H A Dunix_specific.cpp1292 int kind = get_C_long(taskData, DEREFHANDLE(args)->Get(0)); local
1422 int kind; local
[all...]
/seL4-l4v-10.1.1/HOL4/src/1/
H A DDefnBase.sml37 fun kind (ABBREV _) = "abbreviation" function

Completed in 121 milliseconds