Module Coq.List

module List: sig .. end

Coq lists


val of_list : EConstr.constr -> EConstr.constr list -> EConstr.constr

of_list ty l

val type_of_list : EConstr.constr -> EConstr.constr

type_of_list ty