Join GitHub today
Property Statements are Allows in Annex Libraries While Equations are Not #103
Equation statements are only allowed in Annex subclauses. However, property statements are allowed in annex libraries as well. Is this intended? Since, property statements are equivalent to equations of type bool, I would expect it to not be allowed.