Make_application_disambiguation.Expression
type t
type location = Beluga_syntax.Location.t
val location : t -> location