package orsetto

You can search for identifiers within the package.

in-package search v0.2.0

A library of assorted structured data interchange languages

Install

dune-project

Dependency

sha256=bb2af4d8b376b2d60fa996bd4d3b90d9f3559455672540f6d7c3598af81d483b

md5=f7bfa83013801b42fcdba607af2f012b

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.