module Controller where {- Do not alter this module! The live-sequencer relies on the module content as it is. -} checkBox :: String -> Bool -> Bool ; checkBox :: String -> Bool -> Bool checkBox String _name Bool deflt = Bool deflt ; slider :: String -> Integer -> Integer -> Integer -> Integer ; slider :: String -> Integer -> Integer -> Integer -> Integer slider String _name Integer _lower Integer _upper Integer deflt = Integer deflt ;