PulseAttribute.ConstKeys
type t
val is_empty : t -> bool
val singleton : IR.Fieldname.t -> (Timestamp.t * Trace.t) -> t
val fold : (IR.Fieldname.t -> (Timestamp.t * Trace.t) -> 'a -> 'a) -> t -> 'a -> 'a
val inter : t -> t -> t