Searched defs:chop (Results 1 - 12 of 12) sorted by relevance

/seL4-l4v-10.1.1/HOL4/examples/formal-languages/regular/
H A DInterval.sml49 fun chop [] A = rev (map rev A) function
/seL4-l4v-10.1.1/HOL4/src/proofman/
H A DHistory.sml18 local fun chop n alist = fst (split_after n alist) handle _ => alist function
/seL4-l4v-10.1.1/HOL4/src/prekernel/
H A DCoding.sig16 val chop : int -> string reader value
H A DCoding.sml40 fun chop j (si as (s,i)) = function
/seL4-l4v-10.1.1/HOL4/examples/elliptic/
H A DParser.sml157 fun chop (#" " :: chs) = (curry op+ 1 ## I) (chop chs) function
H A DUseful.sml566 fun chop [] = [] function
/seL4-l4v-10.1.1/HOL4/src/metis/
H A DmlibParser.sml136 fun chop (#" " :: chs) = (curry op+ 1 ## I) (chop chs) | chop chs = (0,chs); function
H A DmlibUseful.sml478 fun chop [] = [] function
/seL4-l4v-10.1.1/HOL4/src/postkernel/
H A DHolKernel.sml690 val (chop, cargs) = strip_comb ctm value
/seL4-l4v-10.1.1/HOL4/tools/
H A Dbuildutils.sml825 fun chop s = String.substring(s, 0, String.size s - 1) function
/seL4-l4v-10.1.1/isabelle/src/Tools/Metis/src/
H A DUseful.sml565 fun chop l = function
/seL4-l4v-10.1.1/l4v/isabelle/src/Tools/Metis/src/
H A DUseful.sml565 fun chop l = function

Completed in 398 milliseconds