package comby

  1. Overview
  2. Docs
On This Page
  1. AST
package comby
Legend:
Library
Module
Module type
Parameter
Class
Class type

AST

Defines a rule AST.

type atom =
  1. | Template of Template.t
  2. | String of string
val sexp_of_atom : atom -> Ppx_sexp_conv_lib.Sexp.t
val atom_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> atom
type antecedent = atom
val sexp_of_antecedent : antecedent -> Ppx_sexp_conv_lib.Sexp.t
val antecedent_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> antecedent
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. | Rewrite of atom * antecedent * atom
and consequent = expression list
val sexp_of_expression : expression -> Ppx_sexp_conv_lib.Sexp.t
val sexp_of_consequent : consequent -> Ppx_sexp_conv_lib.Sexp.t
val expression_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> expression
val consequent_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> consequent
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