package smtml

  1. Overview
  2. Docs
type _ param =
  1. | Timeout : int param
  2. | Model : bool param
  3. | Unsat_core : bool param
  4. | Ematching : bool param
type t
val default_value : 'a param -> 'a
val default : unit -> t
val ($) : t -> ('a param * 'a) -> t
val set : t -> 'a param -> 'a -> t
val get : t -> 'a param -> 'a
OCaml

Innovation. Community. Security.