Module type Application_disambiguation.EXPRESSION

type t
type location
val location : t -> location