Lines Matching refs:string
5 val alpha : string
6 val beta : string
7 val gamma : string
8 val delta : string
9 val zeta : string
10 val eta : string
11 val theta : string
12 val kappa : string
13 val lambda : string
14 val mu : string
15 val nu : string
16 val xi : string
17 val pi : string
18 val rho : string
19 val sigma : string
20 val tau : string
21 val phi : string
22 val psi : string
23 val omega : string
25 val Gamma : string
26 val Delta : string
27 val Theta : string
28 val Lambda : string
29 val Xi : string
30 val Sigma : string
31 val Pi : string
32 val Phi : string
33 val Psi : string
34 val Omega : string
37 val sup_0 : string
38 val sup_1 : string
39 val sup_2 : string
40 val sup_3 : string
41 val sup_4 : string
42 val sup_5 : string
43 val sup_6 : string
44 val sup_7 : string
45 val sup_8 : string
46 val sup_9 : string
47 val sup_lparen : string
48 val sup_rparen : string
49 val sup_eq : string
50 val sup_plus : string
51 val sup_minus : string
52 val sup_h : string
53 val sup_i : string
54 val sup_j : string
55 val sup_l : string
56 val sup_n : string
57 val sup_r : string
58 val sup_s : string
59 val sup_w : string
60 val sup_x : string
61 val sup_y : string
62 val sup_gamma : string
65 val sub_plus : string
66 val sub_r : string
69 val rightarrow : string
70 val leftarrow : string
71 val longleftarrow : string
72 val longrightarrow : string
73 val Rightarrow : string
74 val Leftarrow : string
75 val longdoublerightarrow : string
76 val longdoubleleftarrow : string
77 val mapsto : string
78 val mapsfrom : string
79 val longmapsto : string
80 val longmapsfrom : string
81 val hookleftarrow : string
82 val hookrightarrow : string
85 val double_bracel : string
86 val double_bracer : string
87 val langle : string
88 val rangle : string
89 val double_langle : string
90 val double_rangle : string
91 val lensel : string
92 val lenser : string
95 val blackstar : string
96 val whitestar : string
97 val bigasterisk : string
98 val asterisk : string
99 val circlestar : string
100 val stardiaeresis : string
103 val ldquo : string
104 val lsquo : string
105 val rdquo : string
106 val rsquo : string
109 val forall : string
110 val exists : string
111 val conj : string
112 val disj : string
113 val imp : string
114 val neg : string
115 val neq : string
116 val turnstile : string
117 val iff : string
118 val not_iff : string
121 val leq : string
122 val geq : string
123 val minus : string
124 val nats : string
125 val ints : string
126 val rats : string
127 val reals : string
130 val emptyset : string
131 val union : string
132 val inter : string
133 val subset : string
134 val setelementof : string
135 val not_elementof : string
136 val universal_set : string
139 val doubleplus : string
142 val lo : string
143 val ls : string
144 val hi : string
145 val hs : string
146 val or : string
147 val xor : string
148 val lsl : string
149 val lsr : string
150 val asr : string
151 val rol : string
152 val ror : string
154 val isAlpha : string -> bool
155 val isDigit : string -> bool
156 val isAlphaNum : string -> bool
157 val isSymbolic : string -> bool
158 val isMLIdent : string -> bool