package logtk

  1. Overview
  2. Docs

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