module Dump_config: sig .. end
sig
end
val dump_to_json : unit -> Yojson.Basic.t
unit -> Yojson.Basic.t
Builds a Json object describing the Frama-C configuration.
val dump_to_stdout : unit -> unit
unit -> unit
Dumps a Json object describing the Frama-C configuration to stdout.