1 unstable release

0.1.0 Nov 1, 2023

#2649 in #macro


Used in formality-core

MIT/Apache

41KB
961 lines


Macros used by a-mir-formality and formality-core

Dependencies

~1–1.6MB
~29K SLoC