package orsetto

  1. Overview
  2. Docs
package orsetto
Legend:
Library
Module
Module type
Parameter
Class
Class type

The signature of additional affix operators for composing terms.

type event

These types are copied from the core module.

and term
and 'r fin
val (!:) : event -> term

Use !: event as one event.

val (!^) : (event -> bool) -> term

Use !^ f as sat f.

val (!?) : term -> term

Use !? term as opt term

val (!*) : term -> term

Use !* term as star term

val (!+) : term -> term

Use !+ term as seq ~a:1 term

val ($|) : term -> term -> term

Use a $| b as alt2 a b

val ($&) : term -> term -> term

Use a $& b as cat2 a b

val ($=) : term -> 'r -> 'r fin

Use term $= v as fin term v