Something went wrong. Try again.
forked from gbury/dolmen
Something went wrong. Try again.
1234567891011121314151617181920212223242526
(* This file is free software, part of dolmen. See file "LICENSE" for more information *)
(** Interfaces for Extensions *)
module type Logic = sig
type location (** The type of locations. *)
type term (** The type of terms *)
type statement (** The type of statements *)
module Smtlib2 : sig
val 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. *)
end
end