sig
val to_string : int Language.t -> string Language.t
val of_string : string Language.t -> int Language.t
val bin_op :
int Language.t ->
[ `Div | `Minus | `Mod | `Mult | `Plus ] ->
int Language.t -> int Language.t
val add : int Language.t -> int Language.t -> int Language.t
val ( + ) : int Language.t -> int Language.t -> int Language.t
val sub : int Language.t -> int Language.t -> int Language.t
val ( - ) : int Language.t -> int Language.t -> int Language.t
val mul : int Language.t -> int Language.t -> int Language.t
val ( * ) : int Language.t -> int Language.t -> int Language.t
val div : int Language.t -> int Language.t -> int Language.t
val ( / ) : int Language.t -> int Language.t -> int Language.t
val modulo : int Language.t -> int Language.t -> int Language.t
val ( mod ) : int Language.t -> int Language.t -> int Language.t
val cmp :
[ `Eq | `Ge | `Gt | `Le | `Lt | `Ne ] ->
int Language.t -> int Language.t -> bool Language.t
val eq : int Language.t -> int Language.t -> bool Language.t
val ne : int Language.t -> int Language.t -> bool Language.t
val lt : int Language.t -> int Language.t -> bool Language.t
val le : int Language.t -> int Language.t -> bool Language.t
val ge : int Language.t -> int Language.t -> bool Language.t
val gt : int Language.t -> int Language.t -> bool Language.t
val ( = ) : int Language.t -> int Language.t -> bool Language.t
val ( <> ) : int Language.t -> int Language.t -> bool Language.t
val ( < ) : int Language.t -> int Language.t -> bool Language.t
val ( <= ) : int Language.t -> int Language.t -> bool Language.t
val ( >= ) : int Language.t -> int Language.t -> bool Language.t
val ( > ) : int Language.t -> int Language.t -> bool Language.t
end