Source file `logic.ml`

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

(** @canonical Logic.Abstract_syntax *)
module Abstract_syntax = Logic__Abstract_syntax

(** @canonical Logic.Lambda *)
module Lambda = Logic__Lambda

(** @canonical Logic.TypeInference *)
module TypeInference = Logic__TypeInference

(** @canonical Logic.VarUnionFind *)
module VarUnionFind = Logic__VarUnionFind