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