Module type Dataflows.JOIN_SEMILATTICE

module type JOIN_SEMILATTICE = sig .. end

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