sig val symbols : Precedence.t -> ID.t Sequence.t end