I am not sure if this the same, but this reminds me of the Abilities system on the Move language[0]. It allows you to create linear, affine or other type constr

I am not sure if this the same, but this reminds me of the Abilities system on the Move language[0]. It allows you to create linear, affine or other type constraints in a pretty flexible way. [0] https://move-book.com/move-basics/abilities-introduction.html https://move-book.com/move-basics/abilities-introduction.htm...