package orsetto

  1. Overview
  2. Docs
On This Page
  1. Two-stage Parsers
Legend:
Library
Module
Module type
Parameter
Class
Class type
Two-stage Parsers

This module provides support for a two-stage parsers, where the first stage recognizes regular grammar tokens, and the second stage recognizes more complex grammar forms.

module type Basis = sig ... end

The basis signature for second stage scanners.

module type Profile = sig ... end

The signature of second-stage scanner modules.

module Create (B : Basis) : Profile with type token := B.Token.t and type symbol := B.symbol and type position := B.position and type 'a form := 'a B.Form.t

Use Create(B) to make a second-stage parser with B.