Up – Package index » binsec » Library binsec.smt » Smt » Smt_options » SMT_dir

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