P (bap-traces.Bap_traces.Std.Trace.P)

include S

val name : string

val supports : 'a Bap.Std.tag -> bool

val probe : Uri.t -> bool