sig val of_list : EConstr.constr -> EConstr.constr list -> EConstr.constr val type_of_list : EConstr.constr -> EConstr.constr end