`sig
type 'a t
val empty : 'a Js.OPT.t
val return : 'a -> 'a Js.OPT.t
val map : 'a Js.OPT.t -> ('a -> 'b) -> 'b Js.OPT.t
val bind : 'a Js.OPT.t -> ('a -> 'b Js.OPT.t) -> 'b Js.OPT.t
val test : 'a Js.OPT.t -> bool
val iter : 'a Js.OPT.t -> ('a -> unit) -> unit
val case : 'a Js.OPT.t -> (unit -> 'b) -> ('a -> 'b) -> 'b
val get : 'a Js.OPT.t -> (unit -> 'a) -> 'a
val option : 'a option -> 'a Js.OPT.t
val to_option : 'a Js.OPT.t -> 'a option
end`