Characteristic predicate DescriptorNeverClosed::ClosedExpr::ClosedExpr

ClosedExpr()