Module type Goblint_timing.Name

val name : string

Name of timing hierarchy. Used in S.print and TEF track.