package comby

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

Module Language.Alpha_ruleSource

Sourcemodule Configuration = Matchers.Configuration
Sourcetype t = Ast.t
Sourcetype result = bool * Match.environment option
Sourcetype options = Options.t
Sourceval options : Ast.t -> Options.t
Sourceval sat : ('a * 'b) -> 'a
Sourceval result_env : ('a * 'b) -> 'b
Sourceval match_configuration_of_syntax : string -> Configuration.t
Sourceval merge_match_environments : Match.t list -> Match.Environment.t -> Match.Environment.t list
Sourcetype rewrite_context = {
  1. variable : string;
}
Sourceval apply : ?matcher:(module Matchers.Matcher) -> ?substitute_in_place:bool -> Ast.expression list -> Match.Environment.t -> bool * Match.Environment.t option
Sourceval make_equality_expression : Core.String.t -> Ast.atom -> Ast.atom -> (Ast.expression, 'a) MParser.t
Sourceval create : string -> (Ast.expression list, Core_kernel__.Error.t) Core._result
OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct