sig
  type t = Positive | Negative
  val pretty : Stdlib.Format.formatter -> Numerors_utils.Sign.t -> unit
  val of_int : int -> Numerors_utils.Sign.t
  val compare : Numerors_utils.Sign.t -> Numerors_utils.Sign.t -> int
  val eq : Numerors_utils.Sign.t -> Numerors_utils.Sign.t -> bool
  val neg : Numerors_utils.Sign.t -> Numerors_utils.Sign.t
  val mul :
    Numerors_utils.Sign.t -> Numerors_utils.Sign.t -> Numerors_utils.Sign.t
  val is_pos : Numerors_utils.Sign.t -> bool
  val is_neg : Numerors_utils.Sign.t -> bool
end