package comby

  1. Overview
  2. Docs
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 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 apply : ?matcher:(module Matchers.Matcher) -> ?substitute_in_place:bool -> Ast.expression list -> Match.Environment.t -> bool * Match.Environment.t option
val make_equality_expression : Core.String.t -> Ast.atom -> Ast.atom -> (Ast.expression, 'a) MParser.t
val create : string -> (Ast.expression list, Core_kernel.Error.t) Core._result
OCaml

Innovation. Community. Security.