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