module Option: sig .. end
sig
end
val typ : EConstr.constr lazy_t
EConstr.constr lazy_t
val some : EConstr.constr -> EConstr.constr -> EConstr.constr
EConstr.constr -> EConstr.constr -> EConstr.constr
val none : EConstr.constr -> EConstr.constr
EConstr.constr -> EConstr.constr
val of_option : EConstr.constr -> EConstr.constr option -> EConstr.constr
EConstr.constr -> EConstr.constr option -> EConstr.constr