package smtml

  1. Overview
  2. Docs
package smtml
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Smtml.ParamsSource

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