PCU (goblint.Goblint_lib.RelationAnalysis.SpecFunctor.PCU)

Parameters

module D2 : RelationDomain.S2

include module type of struct include PrecCompareUtil.Util(RelationPrecCompareUtil.MyNode)(D2) end

module Key = RelationPrecCompareUtil.MyNode

module Dom = D2

module RH = PrecCompareUtil.Util(RelationPrecCompareUtil.MyNode)(D2).RH

Module for the result hash map

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