Alpha_rule (p.comby.1.2.2.doc.comby.language.Language.Alpha

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

Source

val merge_match_environments : 
  Match.t list ->
  Match.Environment.t ->
  Match.Environment.t list

Sourcetype rewrite_context = {

variable : string;

}

Source

val apply : 
  ?matcher:(module Matchers.Matcher) ->
  ?substitute_in_place:bool ->
  Ast.expression list ->
  Match.Environment.t ->
  bool * Match.Environment.t option

Source

val make_equality_expression : 
  Core.String.t ->
  Ast.atom ->
  Ast.atom ->
  (Ast.expression, 'a) MParser.t

Source

val create : 
  string ->
  (Ast.expression list, Core_kernel__.Error.t) Core._result