package binsec

  1. Overview
  2. Docs

doc/binsec.smt/Smt/Smt_options/Builder/Any_opt/index.html

Module Builder.Any_opt

Parameters

module P : sig ... end

Signature

include Binsec.Cli.GENERIC with type t = P.t
type t = P.t
val set : t -> unit
val get : unit -> t
val is_set : unit -> bool
val is_default : unit -> bool
val get_opt : unit -> t option
OCaml

Innovation. Community. Security.