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