Module Goblint_lib.ArgTools

Construction of ARGs from constraint system solutions.

module M = Messages
module type BiArg = sig ... end
module Dot (Arg : BiArg) : sig ... end
val current_arg : (module BiArg) option Stdlib.ref
module Make (R : ResultQuery.SpecSysSol2) : sig ... end