type-rules-derive (cargo): type-rules derive macro
Keywords: restrict|contraint|type|rule|validate