Source file logic.ml

(* 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