type t = | Number | String | Bool | None | Extern | Float [@@deriving show, eq]