package comby

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
type output =
  1. | Matches of Comby_kernel.Match.t list * int
  2. | Replacement of Comby_kernel.Replacement.t list * string * int
  3. | Nothing
val process_single_source : (module Comby_kernel.Matchers.Matcher.S) -> ?fast_offset_conversion:bool -> ?verbose:bool -> ?timeout:int -> ?metasyntax:Comby_kernel.Matchers.Metasyntax.t -> ?fresh:(unit -> string) -> ?substitute_in_place:bool -> Comby_kernel.Matchers.Configuration.t -> Configuration.Command_input.single_source -> Comby_kernel.Matchers.Specification.t -> output
val execute : (module Comby_kernel.Matchers.Matcher.S) -> ?timeout:int -> ?metasyntax:Comby_kernel.Matchers.Metasyntax.t -> ?fresh:(unit -> string) -> ?configuration:Comby_kernel.Matchers.Configuration.t -> ?substitute_in_place:bool -> Configuration.Command_input.single_source -> Comby_kernel.Matchers.Specification.t -> output
val with_timeout : int -> Configuration.Command_input.single_source -> f:(unit -> 'a list) -> 'a list