Searched defs:CHAR (Results 1 - 2 of 2) sorted by relevance

/seL4-l4v-10.1.1/HOL4/examples/acl2/tests/round-trip/gold/
H A Daxioms.lisp350 (DEFUN CHAR (S N) (NTH N (COERCE S 'LIST))) function
[all...]
/seL4-l4v-10.1.1/HOL4/polyml/basis/
H A DStringSignatures.sml19 signature CHAR = signature

Completed in 42 milliseconds