rep_derive (cargo): A small tool for representation/class invariants
Keywords: invariants|rep_derive|rep|class|representation|oop|rust