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