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

Parameter `Create.B`

module Symbol : Cf_relations.Equal

The equivalence class of text symbols.

val symbol_type : Symbol.t Cf_type.nym

The witness for the symbol type.

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

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