-- Generated by tools/do-setup module Local.Instrument (module User.Elaforge.Instrument) where import User.Elaforge.Instrument