prop_curry.ml 1.21 KB