src/symbols.mli


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16

(** Symbols *)

val eq  : UTF8.t
val neq : UTF8.t
val lt  : UTF8.t
val le  : UTF8.t
val gt  : UTF8.t
val ge  : UTF8.t
val add : UTF8.t
val mul : UTF8.t
val pow : UTF8.t
val div : UTF8.t
val sub : UTF8.t