Searched defs:kind (Results 1 - 10 of 10) sorted by relevance

/seL4-l4v-master/HOL4/polyml/libpolyml/
H A Dwinstartup.cpp208 WinStdInPipeStream(int kind) : fKind(kind) {} argument
H A Dunix_specific.cpp1213 int kind = get_C_long(taskData, DEREFHANDLE(args)->Get(0)); local
1343 int kind; local
[all...]
/seL4-l4v-master/HOL4/help/src-sml/
H A DHtmlsigs.sml206 val (kind, rest) = splitl isKind decl value
/seL4-l4v-master/HOL4/polyml/basis/
H A DReal.sml376 val kind = class r value
H A DReal32.sml225 val kind = class r value
H A DOS.sml115 val kind : iodesc -> iodesc_kind value
955 fun kind (i: iodesc): iodesc_kind = function
/seL4-l4v-master/HOL4/src/coretypes/
H A DDefnBase.sml37 fun kind (ABBREV _) = "abbreviation" function
/seL4-l4v-master/HOL4/examples/acl2/examples/M1/
H A Dsexp.sml2263 let val (kind,name) = dest_acl2def a value
/seL4-l4v-master/HOL4/examples/acl2/examples/acl2-hol-ltl-paper-example/
H A Dsexp.sml2187 let val (kind,name) = dest_acl2def a value
/seL4-l4v-master/HOL4/examples/acl2/ml/
H A Dsexp.sml2187 let val (kind,name) = dest_acl2def a value

Completed in 97 milliseconds