package binsec

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
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