package binsec

  1. Overview
  2. Docs

Module Options.EngineSource

Sourcetype t = ..
Sourcetype t +=
  1. | Default
include Binsec_cli.Cli.GENERIC with type t := t
Sourceval set : t -> unit
Sourceval get : unit -> t
Sourceval is_set : unit -> bool
Sourceval is_default : unit -> bool
Sourceval register : string -> t -> (unit -> (module Binsec_sse.Types.STATE)) -> unit
Sourceval get_factory : unit -> (module Binsec_sse.Types.STATE)