package binsec

  1. Overview
  2. Docs
package binsec
Legend:
Library
Module
Module type
Parameter
Class
Class type
include sig ... end
val is_enabled : unit -> bool
module Debug_level : sig ... end
module Loglevel : sig ... end
module Quiet : sig ... end
module Builder : sig ... end
type mode =
  1. | Inline
    (*

    Use standard DBA assertions

    *)
  2. | Builtin
    (*

    Use new push and pop builtins

    *)
module Mode : sig ... end
type Binsec.Ast.t +=
  1. | Initial_stack of Binsec.Ast.Expr.t Binsec.Ast.loc list