Source file dolmen_tptp__.ml

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

(** @canonical Dolmen_tptp.Dolmen_tptp *)
module Dolmen_tptp = Dolmen_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