1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
module Configuration = Configuration
module Languages = Languages
module Metasyntax = Metasyntax
module External = External
module Rule = Rule
module Ast = struct
include Types.Ast
include Ast
end
module Evaluate = Evaluate
module Alpha = Engine.Make(Alpha.Make)
module Omega = Engine.Make(Omega.Make)
module Engine = Types.Engine
module Matcher = Types.Matcher
module Hole = Types.Hole
module Language = Types.Language
module Script = Script
module Specification = Specification
module Template = struct
include Types.Template
include Template
end
module Rewriter = Rewrite