Searched defs:LEN (Results 1 - 6 of 6) sorted by relevance

/seL4-l4v-10.1.1/HOL4/examples/acl2/tests/gold/
H A Dcone-of-influence.lisp
H A Dproblem-set-1-answers.lisp
/seL4-l4v-10.1.1/HOL4/examples/PSL/experimental-semantics/
H A DWeakPSLUnclockedSemanticsScript.sml170 val LEN = value
[all...]
/seL4-l4v-10.1.1/HOL4/src/list/src/
H A DListConv1.sml143 local val LEN = listTheory.LENGTH value
/seL4-l4v-10.1.1/HOL4/src/parse/
H A Dterm_pp.sml11 fun LEN l = Int.toString (length l) function
/seL4-l4v-10.1.1/HOL4/examples/acl2/tests/round-trip/gold/
H A Daxioms.lisp87 (DEFUN LEN (X) (IF (CONSP X) (BINARY-+ '1 (LEN (CDR X))) '0)) function
[all...]

Completed in 117 milliseconds