{-# LANGUAGE NamedFieldPuns, OverloadedStrings #-}

module MusicPad.Env.Constant where

import Prelude ()
import qualified Prelude as P
import MPS.Env
import Rika.Type

c_pad_width = 9 :: Int
c_pad_height = 15 :: Int

c_square_radius :: RikaPrim
c_square_radius = 0.95