Source file `dolmen_tptp__.ml`

1
2
3
4
5
6
7
8
9
10
11
12
13
(* generated by dune *)

(** @canonical Dolmen_tptp.Ast_tptp *)
module Ast_tptp = Dolmen_tptp__Ast_tptp

(** @canonical Dolmen_tptp.LexTptp *)
module LexTptp = Dolmen_tptp__LexTptp

(** @canonical Dolmen_tptp.ParseTptp *)
module ParseTptp = Dolmen_tptp__ParseTptp

(** @canonical Dolmen_tptp.Tokens_tptp *)
module Tokens_tptp = Dolmen_tptp__Tokens_tptp