sig
type t
val join :
Dataflows.JOIN_SEMILATTICE.t ->
Dataflows.JOIN_SEMILATTICE.t -> Dataflows.JOIN_SEMILATTICE.t
val bottom : Dataflows.JOIN_SEMILATTICE.t
val is_included :
Dataflows.JOIN_SEMILATTICE.t -> Dataflows.JOIN_SEMILATTICE.t -> bool
val join_and_is_included :
Dataflows.JOIN_SEMILATTICE.t ->
Dataflows.JOIN_SEMILATTICE.t -> Dataflows.JOIN_SEMILATTICE.t * bool
val pretty :
Stdlib.Format.formatter -> Dataflows.JOIN_SEMILATTICE.t -> unit
end