Module Coq.Option

module Option: sig .. end

val typ : EConstr.constr lazy_t
val some : EConstr.constr -> EConstr.constr -> EConstr.constr
val none : EConstr.constr -> EConstr.constr
val of_option : EConstr.constr -> EConstr.constr option -> EConstr.constr