Impl.Decompress_option
val get : def:'a -> 'a option -> 'a
val apply : ('a -> 'b) -> 'a -> 'b option
val map : ('a -> 'b option) -> 'a option -> 'b option