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