Source file `elaboration.ml`

1
2
3
4
5
6
7
(* generated by dune *)

(** @canonical Elaboration.Elaborate *)
module Elaborate = Elaboration__Elaborate

(** @canonical Elaboration.Var *)
module Var = Elaboration__Var