type Boolean = bool;