Source file `dolmen_tptp.ml`

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18

(* This file is free software, part of dolmen. See file "LICENSE" formore information *)

module type Id = Ast_tptp.Id
module type Term = Ast_tptp.Term
module type Statement = Ast_tptp.Statement

module Make
    (L : Dolmen_intf.Location.S)
    (I : Id)
    (T : Term with type location := L.t and type id := I.t)
    (S : Statement with type location := L.t and type id := I.t and type term := T.t) =
  Dolmen_std.Transformer.Make(L)(struct
    type token = Tokens_tptp.token
    type statement = S.t
    let env = ["TPTP"]
  end)(LexTptp)(ParseTptp.Make(L)(I)(T)(S))