package binsec

You can search for identifiers within the package.

in-package search v0.2.0

Module `Smt_options.SMT_dir`Source

include Binsec.Cli.CHECKABLE with type t = string

include Binsec.Cli.GENERIC with type t = string

type t = string

val set : t -> unit

val get : unit -> t

val is_default : unit -> bool

val is_set : unit -> bool

val get_opt : unit -> t option