Module Goblint_lib.PrecCompareUtil

Signatures for precision comparison.

module type LocalizedPrintable = sig ... end

A printable, where each element is related to one location. Multiple elements might be related to the same location.

type 'a dump_gen = {
  1. name : string;
  2. marshalled : 'a;
}
type 'a result_gen = {
  1. name : string;
  2. results : 'a;
}
module type R = sig ... end
module type S = sig ... end
module Util (Key : LocalizedPrintable) (Dom : Lattice.S) : R with module Key = Key and module Dom = Dom