CROP
Arguments: midifile begin end [generic-function]
Crops the Midi Info from time <begin> to <end>.
inputs:
midi-info : a list given by the mf-info box
begin, end : integer in ms
begin, end : integer in ms
output : a list in the same format than given by mf-info box (or the output of a MidiFile)
Crops the Midi data from time <begin> to <end>, and delivers
a list in the same format than given by mf-info box :
a list in the same format than given by mf-info box :
(midicents, onset-time(ms), duration(ms), velocity, channel)
This list can serve as input to the box midi-.
