Module `Goblint_lib.RelationPrecCompareUtil`

RelationPriv precision comparison.

module MyNode : sig ... end

module type Util = functor (D2 : RelationDomain.S2) -> sig ... end

module DummyUtil : Util