Beluga_parser.Clf_disambiguation
module type CLF_DISAMBIGUATION = sig ... end
module Make (Disambiguation_state : Disambiguation_state.DISAMBIGUATION_STATE) : CLF_DISAMBIGUATION with type state = Disambiguation_state.state