You can search for identifiers within the package.
in-package search v0.2.0
binsec.sse
Libsse.Options
Definition of command-line & programmatic options for SSE
include Binsec.Cli.S
val is_enabled : unit -> bool
module Logger : Binsec.Logger.S
module AlternativeEngine : Binsec.Cli.BOOLEAN
module LegacyEngine : Binsec.Cli.BOOLEAN
module MaxDepth : Binsec.Cli.INTEGER
module TransientEnum : Binsec.Cli.INTEGER
module JumpEnumDepth : Binsec.Cli.INTEGER
module QMerge : Binsec.Cli.INTEGER
module Randomize : Binsec.Cli.BOOLEAN
module ScriptFiles : Binsec.Cli.STRING_LIST
module Timeout : Binsec.Cli.INTEGER_OPT
type search_heuristics =
| Dfs
| Bfs
| Nurs
module Search_heuristics : Binsec.Cli.GENERIC with type t = search_heuristics
module Seed : Binsec.Cli.INTEGER_OPT
Seed for the random number generator