Parameter With_Set.TerminalSet

type t

val empty : t

val singleton : Maybe_Lattice.t -> t

val union : t -> t -> t

val add : Maybe_Lattice.t -> t -> t

val pretty : Stdlib.Format.formatter -> t -> unit