package stele

  1. Overview
  2. Docs

Parameter Make.E

The minimal slice of a Menhir INCREMENTAL_ENGINE the resolution needs: reaching a stack cell by depth and reading its source span. Instantiate it from the parser's MenhirInterpreter — get is MenhirInterpreter.get and positions destructures MenhirInterpreter.Element.

type 'a env
type element
val get : int -> 'a env -> element option

get i env is the i-th stack cell from the top (0-based), or None when the stack is shallower than i. This is MenhirInterpreter.get.

The source span (start, stop) a stack cell covers. Destructure the engine's Element (_, _, start, stop).