module Core.Value where

data Tm
data Ty
instance Show Ty
instance Show Tm