Characteristic predicate Type::BoolType::BoolType

BoolType()