Position annotation systems.
This module defines an interface for composing systems that annotate scanned or decoded values with the span of positions in the input stream where the represented value was found. Specializations of position information are provided for streams analyzed with
f_decode
as well as streams comprising lines of text.
A distinguished module is provided for annotating streams comprising texts encoded in 8-bit ASCII.
module type Basis = sig ... endThe basis signature for creating an annotation system.
module type Profile = sig ... endThe signture of an annotation system specialized on a basis module.
module Create
(B : Basis) :
Profile with type symbol := B.Symbol.t and type position := B.Position.tUse Create(B) to make an annotation system module for the symbols defined in B.
module Coded : sig ... endA submodule containing specializations for use with
module Textual : sig ... endA submodule containing specializations for textual representations.