Module Binsec.Ida_options

include Cli.S
include Cli.ENABLEABLE
val is_enabled : unit -> bool

is_enabled is a switch that is automatically set.

Can be set programmatically with 

al:enable} and {val:disable}.
val enable : unit -> unit
val disable : unit -> unit
module Logger : Logger.S