renaming: contain? -> any?, deep-contains? -> deep-any?, pad-left -> pad-head, pad...
[factor/jcg.git] / unmaintained / size-of / 
tree50ea14638db5098ef2069188f883e3d15d632b45
drwxr-xr-x   ..
-rw-r--r-- 1389 size-of.factor