Lf_disambiguation (beluga.Beluga_parser.Lf

module type LF_DISAMBIGUATION = sig ... end

Abstract definition of stateful disambiguation from the parser syntax to the external syntax for pure LF kinds, types and terms.

module Make
  (Disambiguation_state : Disambiguation_state.DISAMBIGUATION_STATE) : 
  LF_DISAMBIGUATION with type state = Disambiguation_state.state

Functor building an instance of LF disambiguation.