Source file `dcalc.ml`

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

(** @canonical Dcalc.Ast *)
module Ast = Dcalc__Ast

(** @canonical Dcalc.From_scopelang *)
module From_scopelang = Dcalc__From_scopelang

(** @canonical Dcalc.Invariants *)
module Invariants = Dcalc__Invariants