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 : Format.formatter -> Dataflows.JOIN_SEMILATTICE.t -> unit end