Lattice_bounds.TopBottom
type 'a t = 'a or_top_bottom
module Operators : sig ... end
Operators
val hash : ('a -> int) -> 'a t -> int
Datatype
val pretty :
(Stdlib.Format.formatter -> 'a -> unit) ->
Stdlib.Format.formatter ->
'a t ->
unit
Pretty-printing
val iter : ('a -> unit) -> 'a t -> unit
val fold : top:'b -> bottom:'b -> ('a -> 'b) -> 'a t -> 'b