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

Module `Smt_options.SMT_log_directory`Source

type t = string

val set : t -> unit

val get : unit -> t

val is_default : unit -> bool