Up – Package index » orsetto » Library orsetto.cf » Cf_annot » Create » B

Parameter `Create.B`

module Position : Cf_relations.Order

The total order of positions.

module Symbol : Cf_relations.Equal

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.