module List: sig .. end
sig
end
val of_list : Term.constr -> Term.constr list -> Term.constr
Term.constr -> Term.constr list -> Term.constr
of_list ty l
val type_of_list : Term.constr -> Term.constr
Term.constr -> Term.constr
type_of_list ty