Localize API Annotation in LInjectivtyAnn
The injectivity_cond production in Parser.y returns the annotation for the '->' to the calling production, rather than applying it directly. Rather apply it directly, so LInjectivityAnn can be rendered as a unit from the API Annotations.
Loading
Please register or sign in to comment