Characteristic predicate Type::BooleanType::BooleanType

BooleanType()