Evaluate (p.comby-kernel.1.7.0.doc.comby-kernel.matchers.Matchers.Evaluate)

Sourceval debug : bool

Sourcetype result = bool * Match.environment option

Sourceval sat : ('a * 'b) -> 'a

Sourceval result_env : ('a * 'b) -> 'b

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

Source

val apply : 
  ?substitute_in_place:bool ->
  ?metasyntax:Matchers__.Types.Metasyntax.t ->
  ?external_handler:
    (name:string -> filepath:string -> line:int -> column:int -> string option) ->
  ?filepath:string ->
  match_all:
    (?configuration:Configuration.t ->
      ?filepath:string ->
      template:string ->
      source:string ->
      unit ->
      Match.t list) ->
  Matchers__.Types.Ast.expression list ->
  Match.Environment.t ->
  bool * Match.Environment.t option