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