package comby-kernel

  1. Overview
  2. Docs
package comby-kernel
Legend:
Library
Module
Module type
Parameter
Class
Class type
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.

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

substitute returns the result and variables substituted for

val of_match_context : ?metasyntax:Matchers.Metasyntax.t -> ?fresh:(unit -> string) -> Match.t -> source:string -> string * string
val get_offsets_for_holes : ?metasyntax:Matchers.Metasyntax.t -> string -> string list -> (string * int) list
val get_offsets_after_substitution : (string * int) list -> Match.Environment.t -> (string * int) list