def num_leaves(self):
        return self._num_leaves
Same as cp() but only do copying when source file is newer than target file
dataset/ETHPy150Open nltk/nltk/nltk/parse/chart.py/Chart.num_leaves--crossover with--dataset/ETHPy150Open zynga/jasy/jasy/core/File.py/syncfile