Commit 2021-11-19 07:29 f7390292
View on Github →feat(Data/UInt, Data/Fin/Basic) declarations (#90)
Add new Fin instances, extend the UInt declarations to other UInt types using a macro. This incorporates @gebner's suggestions to add boolean methods for checking under/overflow, and adding separate instances of Fin size
. I still can't figure out the elaboration issue mentioned here on zulip, so I can't use the macro on USize yet.