Closed arvidn closed 5 months ago
specifically handling of atom(), small_number() and number().
atom()
small_number()
number()
This checks certain properties that we expect to hold for any atom (conditioned on whether it's an canonical form integer or not).
This functions as a property-based test.
specifically handling of
atom()
,small_number()
andnumber()
.This checks certain properties that we expect to hold for any atom (conditioned on whether it's an canonical form integer or not).
This functions as a property-based test.