prop_curry.ml 533 Bytes