Predicate FileOpen::function_should_close_parameter

predicate function_should_close_parameter(Function func)