Searched defs:actual (Results 1 - 3 of 3) sorted by relevance

/seL4-l4v-10.1.1/HOL4/src/string/
H A Dselftest.sml71 val (actual, ok) = let value
/seL4-l4v-10.1.1/HOL4/examples/acl2/tests/inputs/
H A Dproblem-set-1-answers.lisp539 (defun actual (key args) function
H A Dcone-of-influence.lisp

Completed in 46 milliseconds