Source file `logtk_proofs.ml`

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
(* 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