Source file magicRewriting.ml

(* 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