Source file logtk_proofs.ml

(* generated by dune *)

(** @canonical Logtk_proofs.LLProof *)
module LLProof = Logtk_proofs__LLProof

(** @canonical Logtk_proofs.LLProof_check *)
module LLProof_check = Logtk_proofs__LLProof_check

(** @canonical Logtk_proofs.LLProof_conv *)
module LLProof_conv = Logtk_proofs__LLProof_conv

(** @canonical Logtk_proofs.LLProver *)
module LLProver = Logtk_proofs__LLProver

(** @canonical Logtk_proofs.LLTerm *)
module LLTerm = Logtk_proofs__LLTerm