Music.Theory.Tempo_Marking
type Tempo_Marking
rq_to_seconds
pulse_duration
measure_duration
measure_duration_f
metronome_table_wittner
metronome_table_nikko
mm_name