Rewrite_template (p.comby-kernel.1.4.1.doc.comby-kernel.rewriter.Rewriter.Rewrite

Source

val substitute_fresh : 
  ?metasyntax:Matchers.Metasyntax.t ->
  ?fresh:(unit -> string) ->
  string ->
  string

if fresh is set, then substitute the pattern :id() starting at 1, and incrementing subsequent IDs. If fresh is unset, then by default substitute the pattern :id() starting at 1, and increment for each occurence of :id(), left to right.

Source

val substitute : 
  ?metasyntax:Matchers.Metasyntax.t ->
  ?fresh:(unit -> string) ->
  string ->
  Match.Environment.t ->
  string * string list

substitute returns the result and variables substituted for

Source

val of_match_context : 
  ?metasyntax:Matchers.Metasyntax.t ->
  ?fresh:(unit -> string) ->
  Match.t ->
  source:string ->
  string * string

Source

val get_offsets_for_holes : 
  ?metasyntax:Matchers.Metasyntax.t ->
  string ->
  string list ->
  (string * int) list

Source

val get_offsets_after_substitution : 
  (string * int) list ->
  Match.Environment.t ->
  (string * int) list