ArgTools (goblint.Goblint

module M = Messages

module type BiArg = sig ... end

module type NodeStyles = sig ... end

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