Module `Libzipperposition_calculi.Arith_int`

val case_switch_limit : int Pervasives.ref: Positive integer: maximum width of an inequality case switch. Default: 30

val div_case_switch_limit : int Pervasives.ref: Positive integer: maximum prime number suitable for div_case_switch (ie maximum n for enumeration of cases in n^k | x)

module type S = sig ... end

module Make : functor (E : Libzipperposition.Env.S) -> S with module Env = E

val extension : Libzipperposition.Extensions.t