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