package comby-kernel

  1. Overview
  2. Docs
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Source file matchers.ml

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
OCaml

Innovation. Community. Security.