-- --------------------------------------------------- [ {{ Project }}.Lib.idr ]
-- Module : {{ Project }}.Lib
-- Description : {{ description }}
-- --------------------------------------------------------------------- [ EOH ]
module {{ Project }}.Lib
%access export