Menu
▾
▴
#26 Generate Constraints even if Class is not linked
Classes can be used without linking them to data by making their name an expression. However, some features are then not generated - e.g. Class constraints. It would be useful to generate a constraint with the automatic quantification over the expression. (i.e. no different to linked classes).
fixed class constraints generation,
need to fix methods
supertypes check, partially works?
Att and assoc work