package dolmen

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

Module type Dolmen_smtlib2_poly.ExtensionSource

Implementation requirement for the Smtlib format.

Sourcetype location

The type of locations.

Sourcetype term

The type of terms

Sourcetype statement

The type of statements

Sourceval statement : string -> (?loc:location -> term list -> statement) option

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