package comby-kernel

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

Module Language.Omega_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 (|>>) : 'a Angstrom.t -> ('a -> 'b) -> 'b Angstrom.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 counter : unit -> string
Sourceval apply : ?matcher:(module Matchers.Matcher.S) -> ?substitute_in_place:bool -> ?fresh:(unit -> string) -> Ast.expression list -> Match.Environment.t -> bool * Match.Environment.t option
Sourceval make_equality_expression : Core_kernel.String.t -> Ast.atom -> Ast.atom -> Ast.expression Angstrom.t
Sourceval is_whitespace : char -> bool
Sourceval spaces : string Angstrom.t
Sourceval spaces1 : string Angstrom.t
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