> Does Ada have signed booleans that are BOOLEAN_TYPE but do _not_ > have [-1, 0] as range? I think documenting [0, 1] for (single-bit > precision?) unsigned BOOLEAN_TYPE and [-1, 1] for signed BOOLEAN_TYPE would > be conservative.
All BOOLEAN_TYPEs are unsigned in Ada but may have precision > 1, typically 8. -- Eric Botcazou
