Source file `logical__.ml`

1
2
3
4
5
6
7
8
9
10
11
12
13
(* generated by dune *)

(** @canonical Logical.Goal *)
module Goal = Logical__Goal

(** @canonical Logical.State *)
module State = Logical__State

(** @canonical Logical.Type *)
module Type = Logical__Type

(** @canonical Logical.Value *)
module Value = Logical__Value