Source file logtk_parsers.ml

(* generated by dune *)

(** @canonical Logtk_parsers.Ast_dk *)
module Ast_dk = Logtk_parsers__Ast_dk

(** @canonical Logtk_parsers.Ast_tptp *)
module Ast_tptp = Logtk_parsers__Ast_tptp

(** @canonical Logtk_parsers.CallProver *)
module CallProver = Logtk_parsers__CallProver

(** @canonical Logtk_parsers.Lex_dk *)
module Lex_dk = Logtk_parsers__Lex_dk

(** @canonical Logtk_parsers.Lex_tptp *)
module Lex_tptp = Logtk_parsers__Lex_tptp

(** @canonical Logtk_parsers.Lex_zf *)
module Lex_zf = Logtk_parsers__Lex_zf

(** @canonical Logtk_parsers.Parse_dk *)
module Parse_dk = Logtk_parsers__Parse_dk

(** @canonical Logtk_parsers.Parse_tptp *)
module Parse_tptp = Logtk_parsers__Parse_tptp

(** @canonical Logtk_parsers.Parse_zf *)
module Parse_zf = Logtk_parsers__Parse_zf

(** @canonical Logtk_parsers.Parsing_utils *)
module Parsing_utils = Logtk_parsers__Parsing_utils

(** @canonical Logtk_parsers.Tip_ast *)
module Tip_ast = Logtk_parsers__Tip_ast

(** @canonical Logtk_parsers.Tip_lexer *)
module Tip_lexer = Logtk_parsers__Tip_lexer

(** @canonical Logtk_parsers.Tip_parser *)
module Tip_parser = Logtk_parsers__Tip_parser

(** @canonical Logtk_parsers.Trace_tstp *)
module Trace_tstp = Logtk_parsers__Trace_tstp

(** @canonical Logtk_parsers.Util_dk *)
module Util_dk = Logtk_parsers__Util_dk

(** @canonical Logtk_parsers.Util_tip *)
module Util_tip = Logtk_parsers__Util_tip

(** @canonical Logtk_parsers.Util_tptp *)
module Util_tptp = Logtk_parsers__Util_tptp

(** @canonical Logtk_parsers.Util_zf *)
module Util_zf = Logtk_parsers__Util_zf