Parameter ParamMap.ARG

val arg_ctyp_f : Ploc.t -> MLast.ctyp -> MLast.ctyp