jon.recoil.org

Module Flambda2_lattices.Or_bottom

type 'a t =
  1. | Ok of 'a
  2. | Bottom
val print : (Format.formatter -> 'a -> unit) -> Format.formatter -> 'a t -> unit
val both : 'a t -> 'b t -> f:('a -> 'b -> 'c) -> 'c t
val map : 'a t -> f:('a -> 'b) -> 'b t
val value_map : 'a t -> bottom:'b -> f:('a -> 'b) -> 'b
val all : 'a t list -> 'a list t
val bind : 'a t -> f:('a -> 'b t) -> 'b t
module Let_syntax : sig ... end