package comby-kernel

  1. Overview
  2. Docs
package comby-kernel
Legend:
Library
Module
Module type
Parameter
Class
Class type
module Configuration = Matchers.Configuration
type t = Ast.t
type result = bool * Match.environment option
type options = Options.t
val options : Ast.t -> Options.t
val (|>>) : 'a Angstrom.t -> ('b -> 'c) -> 'd Angstrom.t
val sat : ('a * 'b) -> 'a
val result_env : ('a * 'b) -> 'b
val match_configuration_of_syntax : string -> Configuration.t
val merge_match_environments : Match.t list -> Match.Environment.t -> Match.Environment.t list
type rewrite_context = {
  1. variable : string;
}
val counter : unit -> string
val apply : ?matcher:(module Matchers.Matcher.S) -> ?substitute_in_place:bool -> ?fresh:(unit -> string) -> Ast.expression list -> Match.Environment.t -> bool * Match.Environment.t option
val make_equality_expression : Core_kernel.String.t -> Ast.atom -> Ast.atom -> Ast.expression Angstrom.t
val is_whitespace : char -> bool
val spaces : string Angstrom.t
val spaces1 : string Angstrom.t