Up – Package index » goblint » Library goblint.lib » PrivPrecCompareUtil » Util

Module `PrivPrecCompareUtil.Util`

include sig ... end

module Key : sig ... end

module Dom : sig ... end

module RH : sig ... end

type marshal = PrecCompareUtil.Util(LV)(BaseDomain.VD).marshal

type dump = marshal PrecCompareUtil.dump_gen

type result = Dom.t RH.t PrecCompareUtil.result_gen

val unmarshal : marshal -> Dom.t RH.t

val init : unit -> unit