module Option: sig .. end
sig
end
val some : Term.constr -> Term.constr -> Term.constr
Term.constr -> Term.constr -> Term.constr
val none : Term.constr -> Term.constr
Term.constr -> Term.constr
val of_option : Term.constr -> Term.constr option -> Term.constr
Term.constr -> Term.constr option -> Term.constr