Characteristic predicate Types::BoolType::BoolType

BoolType()