Module Binsec.Simplification_options

include Cli.S
val is_enabled : unit -> bool
module Logger : Logger.S

Defaults to false

type specifics =
  1. | All
  2. | NoInline
  3. | NoSummaries
type simplification =
  1. | No_simplification
  2. | Program
  3. | Function of specifics
  4. | Sequence of specifics