Beluga_parser.Comp_disambiguation
module type COMP_DISAMBIGUATION = sig ... end
module Make (Disambiguation_state : Disambiguation_state.DISAMBIGUATION_STATE) (Meta_disambiguator : Meta_disambiguation.META_DISAMBIGUATION with type state = Disambiguation_state.state) : COMP_DISAMBIGUATION with type state = Disambiguation_state.state