Module BaseLogic.Arithmetic

include module type of struct include Equality end
val mk_eq : Self.t Stdlib.List.t -> t
val mk_distinct : t Stdlib.List.t -> t
val mk_eq2 : Self.t -> Self.t -> t
val mk_distinct2 : t -> t -> t
val mk_var : string -> t
val mk_fresh_var : string -> t
val mk_const : Stdlib.Int.t -> t
val zero : t
val one : t
val mk_plus : Self.t Stdlib.List.t -> Self.t
val mk_minus : t -> t -> t
val mk_mult : Self.t Stdlib.List.t -> Self.t
val mk_lesser : t -> t -> t
val mk_lesser_eq : t -> t -> t