toInteger package:clash-prelude

conversion to Integer
Same as snatToInteger and natVal, but doesn't take term arguments. Example usage:
>>> natToInteger @5
5
Reify the type-level Nat n to it's term-level Integer representation.