Optional_diff (ppx_diff.ppx_diff.diffable.Diffable.Optional

type 'a t

val none : _ t @@ portable

val get_none : Base.unit -> _ t @@ portable

val return : 'a -> 'a t @ local @@ portable

val map : 
  'a t @ local ->
  (f:('a -> 'b) @ local ->
  'b t @ local) @ local @@ portable

val bind : 
  'a t @ local ->
  (f:('a -> 'b t @ local) @ local ->
  'b t @ local) @ local @@ portable

val both : [ `both_would_allocate__use_bind_instead ] @@ portable

val (>>|) : 
  'a t @ local ->
  (('a -> 'b) @ local ->
  'b t @ local) @ local @@ portable

val (>>=) : 
  'a t @ local ->
  (('a -> 'b t @ local) @ local ->
  'b t @ local) @ local @@ portable

val is_none : 'a t @ local -> Base.bool @@ portable

val unsafe_value : 'a t @ local -> 'a @@ portable

val to_option : 'a t @ local -> 'a Base.option @@ portable

module Optional_syntax : sig ... end

module Let_syntax : sig ... end