method set_curry_constr = fun b -> {< curry_constr = b; >}