package comby-kernel

  1. Overview
  2. Docs
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Rewriter.Rewrite_templateSource

Sourceval 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.

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

substitute returns the result and variables substituted for

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

Innovation. Community. Security.