Module type Trace.S

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