Source file alba_core.ml

(* generated by dune *)

(** @canonical Alba_core.Context *)
module Context = Alba_core__Context

(** @canonical Alba_core.Gamma *)
module Gamma = Alba_core__Gamma

(** @canonical Alba_core.Gamma_algo *)
module Gamma_algo = Alba_core__Gamma_algo

(** @canonical Alba_core.Gamma_holes *)
module Gamma_holes = Alba_core__Gamma_holes

(** @canonical Alba_core.Name_map *)
module Name_map = Alba_core__Name_map

(** @canonical Alba_core.Operator *)
module Operator = Alba_core__Operator

(** @canonical Alba_core.Term *)
module Term = Alba_core__Term

(** @canonical Alba_core.Term_printer *)
module Term_printer = Alba_core__Term_printer

(** @canonical Alba_core.Typecheck *)
module Typecheck = Alba_core__Typecheck

(** @canonical Alba_core.Unifier *)
module Unifier = Alba_core__Unifier