Module Flambda2_lattices.Or_unknown

type 'a t =
  1. | Known of 'a
  2. | Unknown
val known : 'a -> 'a t
val print : (Format.formatter -> 'a -> unit) -> Format.formatter -> 'a t -> unit
val compare : ('a -> 'a -> int) -> 'a t -> 'a t -> int
val equal : ('a -> 'a -> bool) -> 'a t -> 'a t -> bool
val bind : 'a t -> f:('a -> 'b t) -> 'b t
val map : 'a t -> f:('a -> 'b) -> 'b t
val map_sharing : 'a t -> f:('a -> 'a) -> 'a t
val apply_renaming : 'a t -> Flambda2_nominal.Renaming.t -> ('a -> Flambda2_nominal.Renaming.t -> 'a) -> 'a t
module Let_syntax : sig ... end