Source file `ext.ml`

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25

(* 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