Module Options.EngineSource

Sourcetype t = ..
include Binsec.Cli.GENERIC_OPT with type t := t
include Binsec.Cli.GENERIC with type t := t
Sourceval set : t -> unit
Sourceval get : unit -> t
Sourceval is_set : unit -> bool
Sourceval is_default : unit -> bool
Sourceval get_opt : unit -> t option
Sourceval register : string -> t -> (unit -> (module Types.STATE_FACTORY)) -> unit
Sourceval get_factory : unit -> (module Types.STATE_FACTORY)