Source file albalib.ml

(* generated by dune *)

(** @canonical Albalib.Alba_console *)
module Alba_console = Albalib__Alba_console

(** @canonical Albalib.Ast *)
module Ast = Albalib__Ast

(** @canonical Albalib.Build_context *)
module Build_context = Albalib__Build_context

(** @canonical Albalib.Build_expression *)
module Build_expression = Albalib__Build_expression

(** @canonical Albalib.Build_inductive *)
module Build_inductive = Albalib__Build_inductive

(** @canonical Albalib.Build_problem *)
module Build_problem = Albalib__Build_problem

(** @canonical Albalib.Builder *)
module Builder = Albalib__Builder

(** @canonical Albalib.Module *)
module Module = Albalib__Module

(** @canonical Albalib.Parser_lang *)
module Parser_lang = Albalib__Parser_lang

(** @canonical Albalib.Printer *)
module Printer = Albalib__Printer

(** @canonical Albalib.Repl *)
module Repl = Albalib__Repl

(** @canonical Albalib.Standard_context *)
module Standard_context = Albalib__Standard_context

(** @canonical Albalib.Test_builder *)
module Test_builder = Albalib__Test_builder

(** @canonical Albalib.Test_inductive *)
module Test_inductive = Albalib__Test_inductive