Characteristic predicate Declaration::TrivialProperty::TrivialProperty

TrivialProperty()