Characteristic predicate Function::FunctionDef::FunctionDef

FunctionDef()