Source file domains__.ml

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

(** @canonical Domains.Common *)
module Common = Domains__Common

(** @canonical Domains.Interval *)
module Interval = Domains__Interval