Module `Or_unknown.Let_syntax`

val (let>*) : 
  'a Flambda2_lattices.Or_unknown.t ->
  ('a -> 'b Flambda2_lattices.Or_unknown.t) ->
  'b Flambda2_lattices.Or_unknown.t

val (let>+) : 
  'a Flambda2_lattices.Or_unknown.t ->
  ('a -> 'b) ->
  'b Flambda2_lattices.Or_unknown.t

val (let>+$) : 
  'a Flambda2_lattices.Or_unknown.t ->
  ('a -> 'a) ->
  'a Flambda2_lattices.Or_unknown.t

let>+$ returns the input 'a t if the mapping function returns a value that is physically-equal to its input.

Module Or_unknown.Let_syntax