package comby

  1. Overview
  2. Docs
package comby
Legend:
Library
Module
Module type
Parameter
Class
Class type
type atom =
  1. | Variable of string
  2. | String of string
val atom_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> atom
val sexp_of_atom : atom -> Ppx_sexp_conv_lib.Sexp.t
type antecedent = atom
val antecedent_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> antecedent
val sexp_of_antecedent : antecedent -> Ppx_sexp_conv_lib.Sexp.t
type expression =
  1. | True
  2. | False
  3. | Option of string
  4. | Equal of atom * atom
  5. | Not_equal of atom * atom
  6. | Match of atom * (antecedent * consequent) list
  7. | RewriteTemplate of string
  8. | Rewrite of atom * antecedent * expression
and consequent = expression list
val expression_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> expression
val consequent_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> consequent
val sexp_of_expression : expression -> Ppx_sexp_conv_lib.Sexp.t
val sexp_of_consequent : consequent -> Ppx_sexp_conv_lib.Sexp.t
val (=) : atom -> atom -> expression
val (<>) : atom -> atom -> expression
type t = expression list
val t_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> t
val sexp_of_t : t -> Ppx_sexp_conv_lib.Sexp.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