ApronPrecCompareUtil.Util
module D2 : RelationDomain.S2
include sig ... end
module Key : sig ... end
module Dom : sig ... end
module RH : sig ... end
type marshal = D2.marshal RH.t
type dump = marshal PrecCompareUtil.dump_gen
type result = Dom.t RH.t PrecCompareUtil.result_gen
val init : unit -> unit
val unmarshal : marshal -> D2.t RH.t