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