Module Extensions.Smtlib2Source

Sourcetype t
Sourceval name : t -> string

Name of an extension (should be suitable to use for e.g. option names)

Sourceval enable : t -> unit
Sourceval disable : t -> unit
Sourceval set : t -> bool -> unit

Enable/disable/set whether an extension is active. Only active extensions will be allowed by the statement function.

Sourceval exts : unit -> t list

The lists of extensions

Sourceval create : name:string -> stmts:string list -> t

Create a new extension.

Sourceval maxsmt : t

The extension for MaxSMT.

Sourceval statement : string -> (?loc:Loc.t -> Term.t list -> Statement.t) option

Called on statements of the form `(<id> <term>)` where `<id>` is not the name of a statement in the official smtlib specification.