MiniAgda-0.2014.1.9: Value.hs-boot

module Value where

import {-# SOURCE #-} Abstract

data Val
instance Eq Val
instance Ord Val
instance Show Val

type TeleVal = [TBinding Val]