sig
type kind = Computation.t
type t = Computation.selection
val ty : t Type.t
val empty : t
val is_empty : t -> bool
val add : kind -> Kind.how -> t -> t
val singleton : kind -> Kind.how -> t
val remove : kind -> t -> t
val iter : (kind -> Kind.how -> unit) -> t -> unit
val fold : (kind -> Kind.how -> 'a -> 'a) -> t -> 'a -> 'a
end