Source file `magicRewriting.ml`

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
(* generated by dune *)

(** @canonical MagicRewriting.Adornment *)
module Adornment = MagicRewriting__Adornment

(** @canonical MagicRewriting.Magic *)
module Magic = MagicRewriting__Magic

(** @canonical MagicRewriting.Rewriting *)
module Rewriting = MagicRewriting__Rewriting

(** @canonical MagicRewriting.Rgg *)
module Rgg = MagicRewriting__Rgg

(** @canonical MagicRewriting.Unique_binding *)
module Unique_binding = MagicRewriting__Unique_binding