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