package comby-kernel

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

Parameters

module Metasyntax : sig ... end
module External : sig ... end

Signature

module Parser : sig ... end
type spec = Specification.t
val spec_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> spec
val sexp_of_spec : spec -> Ppx_sexp_conv_lib.Sexp.t
type op =
  1. | And
  2. | Or
  3. | Not
val op_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> op
val sexp_of_op : op -> Ppx_sexp_conv_lib.Sexp.t
type exp =
  1. | Exp of op * exp list
  2. | Spec of spec
val exp_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> exp
val sexp_of_exp : exp -> Ppx_sexp_conv_lib.Sexp.t
type t = exp list
val t_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> t
val sexp_of_t : t -> Ppx_sexp_conv_lib.Sexp.t
val ignore : 'a Vangstrom.t -> unit Vangstrom.t
val spaces : char list Vangstrom.t
val spaces1 : char list Vangstrom.t
val optional : string -> unit Vangstrom.t
val chainl1 : 'a Vangstrom.t -> ('b -> 'c -> 'd) Vangstrom.t -> 'e Vangstrom.t
val parens : 'a list Vangstrom.t -> 'a list Vangstrom.t
val template_parser : 'a Vangstrom.t -> Matchers__.Types.Ast.atom Vangstrom.t
val spec : exp list Vangstrom.t
val unop : string list -> exp list Vangstrom.t -> exp list Vangstrom.t
val binop : string list -> op -> (exp list -> exp list -> exp list) Vangstrom.t
val exp_parser : exp list Vangstrom.t
val parser : exp list Vangstrom.t
val parse : string -> (exp list, string) result
val to_string : t -> string