Lattice_bounds.Top
type 'a t = 'a or_top
module Operators : sig ... end
Operators
val is_top : 'a t -> bool
Access
val non_top : 'a t -> 'a
val value : top:'a -> 'a t -> 'a
val hash : ( 'a -> int ) -> 'a t -> int
Datatype
val pretty :
( Stdlib.Format.formatter -> 'a -> unit ) ->
Stdlib.Format.formatter ->
'a t ->
unit
val to_option : 'a t -> 'a option
Conversion
val of_option : 'a option -> 'a t