SpecFunctor.PCU
module Key : sig ... end
module Dom : sig ... end
module RH : sig ... end
type marshal = RD.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 -> RD.t RH.t