3 ms·
This is only possible with resource aware types, it would be nice to import a function with resource constraints such as constant time, etc.
by nwmcsween 5y ago
This is only possible with resource aware types, it would be nice to import a function with resource constraints such as constant time, etc.