val iter : f:('a ‑> unit) ‑> 'a option ‑> unit
val map : f:('a ‑> 'b) ‑> 'a option ‑> 'b option
val exists : f:('a ‑> bool) ‑> 'a option ‑> bool