To focus the search input from anywhere on the page, press the 'S' key.
in-package search v0.1.0
package comby
-
comby
-
-
comby.configuration
-
comby.interactive
-
comby.patdiff
-
comby.patdiff_kernel
-
-
comby.pipeline
-
comby.statistics
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
type output = | Matches of Comby_kernel.Match.t list * int| Replacement of Comby_kernel.Replacement.t list * string * int| 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 ->
outputval 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 ->
outputval with_timeout :
int ->
Configuration.Command_input.single_source ->
f:(unit -> 'a list) ->
'a listval run : Configuration.Command_configuration.t -> unit