Util (goblint.Goblint_lib.RelationPrecCompareUtil.Util)

Parameters

module D2 : RelationDomain.S2

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

module Key = MyNode

module Dom = D2

module RH = PrecCompareUtil.Util(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