MiniAgda-0.2016.12.19: src/Value.hs-boot

module Value where

import {-# SOURCE #-} Abstract

data Val
instance Eq Val
instance Ord Val
instance Show Val

type TeleVal = [TBinding Val]