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.

module Meta : 
  Meta.Basis with type position := Position.t and type symbol := Symbol.t

The specification of structural metadata.

val default_initial_position : Position.t

The default initial position.

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

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