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