ruststep
ruststep copied to clipboard
Support `TOTAL_OVER` in SubType/SuperType constraints
Although ANDOR, AND, and ONEOF constraints are well handled by #203, TOTAL_OVER is not supported yet.