Source file comby_kernel.ml

module Match = Match
type match' = Match.t

module Replacement = Replacement
type replacement = Replacement.result

module Matchers = struct

  module Engine = Matchers.Engine
  module Language = Matchers.Language

  module Matcher = Matchers.Matcher

  module Configuration = Matchers.Configuration
  type configuration = Configuration.t

  module Hole = Matchers.Hole

  module Metasyntax = Matchers.Metasyntax
  type metasyntax = Matchers.Metasyntax.t

  module External = Matchers.External

  module Alpha = Matchers.Alpha
  module Omega = Matchers.Omega

  module Languages = Matchers.Languages

  module Template = Matchers.Template

  module Ast = Matchers.Ast

  module Rule = struct
    include Matchers.Rule
    include Matchers.Evaluate
  end
  type rule = Rule.t

  module Specification = Matchers.Specification
  type specification = Specification.t

  module Rewrite = Matchers.Rewriter
end