Option.T
type 'a t = 'a option T.t
val return : 'a -> [> `Active of 'b option ]
val bind : [< `Active of 'a option | `Bootstrapping ] -> f:( 'b -> [> `Active of 'd option | `Bootstrapping ] as 'c ) -> 'e
val map : [> `Define_using_bind ]