sig
  val leq : Dalton_aux.variance -> Dalton_aux.variance -> bool
  val combine :
    Dalton_aux.variance -> Dalton_aux.variance -> Dalton_aux.variance
  val to_string : Dalton_aux.variance -> string
  val fprint : Format.formatter -> Dalton_aux.variance -> unit
  val fprint_name : Format.formatter -> Dalton_aux.variance -> unit
end