Parameter Create.B

type symbol

The type of a symbol.

type position

The type of a position.

type lexeme

The type of a lexeme.

type +'a form

The type of a scanner form constructor.

module Scan : Cf_scan.Profile with type symbol := symbol and type position := position and type 'a form := 'a form

The basis scanner used by the lexical analyzer.

module Form : Cf_scan.Form with type 'a t := 'a form

The scanner production form.

module DFA : Cf_dfa.Profile with type event := symbol

The deterministic finite automaton for the symbol type.

module Buffer : Buffer with type symbol := symbol and type lexeme := lexeme

The lexical buffer module.

val string_to_term : string -> DFA.term

Scanners use string_to_term s to make a DFA term that represents the regular expression denoted by s.