Module Goblint_lib.ArgTools

Construction of ARGs from constraint system solutions.

module M = Messages
module type BiArg = sig ... end
module Stack (Arg : BiArg) : BiArg with module Node = MyARG.StackNode(Arg.Node)
module type NodeStyles = sig ... end
module EnumerateNode (Node : MyARG.Node) : MyARG.Node with type t = Node.t
module Dot (Arg : BiArg) (NodeStyles : NodeStyles with type node = Arg.Node.t) : sig ... end
val current_arg : (module BiArg) option Stdlib.ref
module Make (R : ResultQuery.SpecSysSol2) : sig ... end