ApronPrecCompareUtil (goblint.Goblint_lib.ApronPrecCompareUtil)

module OctagonD = ApronDomain.OctagonD

module Util (D2 : RelationDomain.S2) : sig ... end

include sig ... end

module Key : sig ... end

module Dom : sig ... end

module RH : sig ... end

type marshal = OctagonD.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 -> OctagonD.t RH.t