package orsetto

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

The basis signature for creating an annotation system.

The total order of positions.

The equivalence relation on symbols.

val position0 : Position.t

The distinguished initial position of an unnamed stream.

val advance : Position.t -> Symbol.t -> Position.t

Scanners use advance pos sym to make the position immediately after pos when occupied by sym.