Lines Matching refs:magic
7 prim_val magic : 'a -> 'b = 1 "identity";
11 val fromList : elem list -> vector = magic Word8Vector.fromList
12 val tabulate : int * (int -> elem) -> vector = magic Word8Vector.tabulate
14 val length : vector -> int = magic Word8Vector.length
15 val sub : vector * int -> elem = magic Word8Vector.sub
17 = magic Word8Vector.update
18 val concat : vector list -> vector = magic Word8Vector.concat
20 = magic Word8Vector.find
22 = magic Word8Vector.exists
24 = magic Word8Vector.all
27 = magic String.collate
30 = magic Word8Vector.app
32 = magic Word8Vector.map
34 = magic Word8Vector.findi
37 = Word8Vector.foldl (magic f) e (magic v)
40 = Word8Vector.foldr (magic f) e (magic v)
43 = Word8Vector.appi (magic f) (magic v)
46 = magic(Word8Vector.mapi (magic f) (magic v))
49 = Word8Vector.foldli (magic f) e (magic v)
52 = Word8Vector.foldri (magic f) e (magic v)
56 = magic Word8Vector.foldl
58 = magic Word8Vector.foldr
61 = magic Word8Vector.appi
63 = magic Word8Vector.foldli
65 = magic Word8Vector.foldri