package ostap

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Legend:
Library
Module
Module type
Parameter
Class
Class type

BNF expression implementation.

type t =

| String of string
(*
String terminal
*)
| Term of string
(*
Non-string terminal
*)
| Nonterm of string
(*
Nonterminal
*)
| Apply of t * t list
(*
Rule application
*)
| Star of t
(*
Iteration
*)
| Plus of t
(*
Non-empty iteration
*)
| Opt of t
(*
Optional expression
*)
| Alt of t list
(*
Alternation
*)
| Seq of t list
(*
Sequencing
*)
| Group of t
(*
Expression in brackets
*)
| Custom of [ `S of string | `T of t ] list
(*
Custom mixed structure (for internal use)
*)

Main type.

Constructors

val string : string -> t

String terminal.

val term : string -> t

Non-string terminal.

val nonterm : string -> t

Nonterminal.

val apply : t -> t list -> t

Rule application.

val star : t -> t

Iteration.

val plus : t -> t

Non-empty iteration.

val opt : t -> t

Optional expression.

val alt : t list -> t

Alternation.

val seq : t list -> t

Sequencing.

val group : t -> t

Expression in brackets.

val custom : [ `S of string | `T of t ] list -> t

Custom text.

val toTeX : t -> string

TeX printer.

val toTree : t -> string

Tree printer.