sig
  val leq : Dalton_sig.GROUND.Lb.t -> Dalton_sig.GROUND.Ub.t -> bool
  val geq : Dalton_sig.GROUND.Lb.t -> Dalton_sig.GROUND.Ub.t -> bool
  val fprint_in_term :
    int ->
    Format.formatter ->
    Dalton_sig.GROUND.Lb.t -> Dalton_sig.GROUND.Ub.t -> unit
end