module List: sig .. end
sig
end
Coq lists
val of_list : EConstr.constr -> EConstr.constr list -> EConstr.constr
EConstr.constr -> EConstr.constr list -> EConstr.constr
of_list ty l
val type_of_list : EConstr.constr -> EConstr.constr
EConstr.constr -> EConstr.constr
type_of_list ty