package binsec

You can search for identifiers within the package.

in-package search v0.2.0

Module `Binsec.Simplification_options`

include Cli.S

val is_enabled : unit -> bool

module Logger : Logger.S

module Display_statistics : Cli.BOOLEAN

Defaults to false

type pmap =
  (Dba.Instr.t * Instruction.Generic.t option) Dba_types.Caddress.Map.t

type specifics =

type simplification =

module Simplification : Cli.GENERIC with type t = simplification