Characteristic predicate FileWrite::BasicOStreamCall::BasicOStreamCall

BasicOStreamCall()