Parameter With_Set.TerminalSet

type t

val empty : t

val singleton : Terminal.t -> t

val union : t -> t -> t

val add : Terminal.t -> t -> t

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