Module Language.Alpha_ruleSource

Sourcemodule Configuration = Matchers.Configuration
Sourcetype t = Ast.t
Sourcetype result = bool * Match.environment option
Sourcetype options = Options.t
Sourceval options : Ast.t -> Options.t
Sourceval sat : ('a * 'b) -> 'a
Sourceval result_env : ('a * 'b) -> 'b
Sourceval match_configuration_of_syntax : string -> Configuration.t
Sourceval merge_match_environments : Match.t list -> Match.Environment.t -> Match.Environment.t list
Sourcetype rewrite_context = {
  1. variable : string;
}
Sourceval counter : unit -> string
Sourceval apply : ?matcher:(module Matchers.Matcher.S) -> ?substitute_in_place:bool -> ?fresh:(unit -> string) -> Ast.expression list -> Match.Environment.t -> bool * Match.Environment.t option
Sourceval make_equality_expression : Core_kernel.String.t -> Ast.atom -> Ast.atom -> (Ast.expression, 'a) MParser.t