Lattice_bounds.TopBottom
type 'a t = 'a or_top_bottom
val return : 'a -> 'a t
module Make_Datatype
(Domain : Datatype.S) :
Datatype.S with type t = Domain.t or_top_bottom
Datatype constructor
module Operators : sig ... end
Operators. In presence of simultaneous `Bottom and `Top in and+ / and*, everything narrows down to `Bottom. Every operators is redefined to ensure subtyping properties.
val hash : ('a -> int) -> 'a t -> int
Datatype
val pretty :
(Stdlib.Format.formatter -> 'a -> unit) ->
Stdlib.Format.formatter ->
'a t ->
unit
Pretty-printing