| #eval Bool.toUInt8 false = 0 | |
| #eval Bool.toUInt8 true = 1 | |
| #eval Bool.toUInt16 false = 0 | |
| #eval Bool.toUInt16 true = 1 | |
| #eval Bool.toUInt32 false = 0 | |
| #eval Bool.toUInt32 true = 1 | |
| #eval Bool.toUInt64 false = 0 | |
| #eval Bool.toUInt64 true = 1 | |
| #eval Bool.toUSize false = 0 | |
| #eval Bool.toUSize true = 1 | |
| #eval Bool.toInt8 false = 0 | |
| #eval Bool.toInt8 true = 1 | |
| #eval Bool.toInt16 false = 0 | |
| #eval Bool.toInt16 true = 1 | |
| #eval Bool.toInt32 false = 0 | |
| #eval Bool.toInt32 true = 1 | |
| #eval Bool.toInt64 false = 0 | |
| #eval Bool.toInt64 true = 1 | |
| #eval Bool.toISize false = 0 | |
| #eval Bool.toISize true = 1 |