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

%access export
