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