Library Float.Option


Inductive Option (A : Set) : Set :=
  | Some : x : A, Option A
  | None : Option A.