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