Module Beluga_parser.Disambiguation_state

Definition and implementation of the state required to disambiguate the Beluga syntax from the parser AST to the external AST.

module type ENTRY = sig ... end

Abstract definition of entries bound to identifiers.

module type DISAMBIGUATION_STATE = sig ... end

Abstract definition of a disambiguation state.

module Disambiguation_state : sig ... end

Concrete implementation of DISAMBIGUATION_STATE backed by a mutable data structure.