verify_macro (cargo): An attribute that automatically instruments code with logical type bounds.
Keywords: dependent|type-level|verify|types|verifiable