Source file libzipperposition_calculi.ml

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
(* generated by dune *)

(** @canonical Libzipperposition_calculi.App_encode *)
module App_encode = Libzipperposition_calculi__App_encode

(** @canonical Libzipperposition_calculi.Arith_int *)
module Arith_int = Libzipperposition_calculi__Arith_int

(** @canonical Libzipperposition_calculi.Arith_rat *)
module Arith_rat = Libzipperposition_calculi__Arith_rat

(** @canonical Libzipperposition_calculi.Avatar *)
module Avatar = Libzipperposition_calculi__Avatar

(** @canonical Libzipperposition_calculi.Avatar_intf *)
module Avatar_intf = Libzipperposition_calculi__Avatar_intf

(** @canonical Libzipperposition_calculi.Booleans *)
module Booleans = Libzipperposition_calculi__Booleans

(** @canonical Libzipperposition_calculi.EnumTypes *)
module EnumTypes = Libzipperposition_calculi__EnumTypes

(** @canonical Libzipperposition_calculi.Fool *)
module Fool = Libzipperposition_calculi__Fool

(** @canonical Libzipperposition_calculi.Heuristics *)
module Heuristics = Libzipperposition_calculi__Heuristics

(** @canonical Libzipperposition_calculi.Higher_order *)
module Higher_order = Libzipperposition_calculi__Higher_order

(** @canonical Libzipperposition_calculi.Ind_types *)
module Ind_types = Libzipperposition_calculi__Ind_types

(** @canonical Libzipperposition_calculi.Induction *)
module Induction = Libzipperposition_calculi__Induction

(** @canonical Libzipperposition_calculi.Induction_intf *)
module Induction_intf = Libzipperposition_calculi__Induction_intf

(** @canonical Libzipperposition_calculi.Rewriting *)
module Rewriting = Libzipperposition_calculi__Rewriting

(** @canonical Libzipperposition_calculi.Simplex *)
module Simplex = Libzipperposition_calculi__Simplex

(** @canonical Libzipperposition_calculi.Superposition *)
module Superposition = Libzipperposition_calculi__Superposition

(** @canonical Libzipperposition_calculi.Superposition_intf *)
module Superposition_intf = Libzipperposition_calculi__Superposition_intf