Module Language.Omega_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 (|>>) : 'a Angstrom.t -> ('a -> 'b) -> 'b Angstrom.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 apply : ?matcher:(module Matchers.Matcher) -> ?substitute_in_place:bool -> Ast.expression list -> Match.Environment.t -> bool * Match.Environment.t option
Sourceval make_equality_expression : Core.String.t -> Ast.atom -> Ast.atom -> Ast.expression Angstrom.t
Sourceval is_whitespace : char -> bool
Sourceval spaces : string Angstrom.t
Sourceval spaces1 : string Angstrom.t
Sourceval create : string -> (Ast.expression list, Core_kernel__.Error.t) Core._result