sig
  val min_of_absmod_inter : int -> int -> int -> int -> int
  val max_of_absmod_inter : int -> int -> int -> int -> int
  val diffsign : int -> int -> bool
  val diffeqsign : int -> int -> bool
  val udiffsign : int -> int -> bool
  val min_max_mult_inter : int -> int -> int -> int -> int * int
  val min_max_div_inter : int -> int -> int -> int -> int * int
  val min_max_mod_inter : int -> int -> int -> int -> int * int
  val min_max_abs_inter : int -> int -> int * int
  val min_max_expn_inter : int -> int -> int -> int * int
  val expn_int : int -> int -> int
  val monome : Fcl_var.Fd.t -> Fcl_var.Fd.t -> Fcl_var.Fd.t -> Fcl_cstr.t
  val monome_aux : Fcl_var.Fd.t -> Fcl_var.Fd.t -> Fcl_var.Fd.t
  val absolute : Fcl_var.Fd.t -> Fcl_var.Fd.t -> Fcl_cstr.t
  val absolute_aux : Fcl_var.Fd.t -> Fcl_var.Fd.t
  val division : Fcl_var.Fd.t -> Fcl_var.Fd.t -> Fcl_var.Fd.t -> Fcl_cstr.t
  val division_aux : Fcl_var.Fd.t -> Fcl_var.Fd.t -> Fcl_var.Fd.t
  val modulo : Fcl_var.Fd.t -> Fcl_var.Fd.t -> Fcl_var.Fd.t -> Fcl_cstr.t
  val modulo_aux : Fcl_var.Fd.t -> Fcl_var.Fd.t -> Fcl_var.Fd.t
  val expn : Fcl_var.Fd.t -> Fcl_var.Fd.t -> int -> Fcl_cstr.t
  val expn_aux : Fcl_var.Fd.t -> int -> Fcl_var.Fd.t
end