{-# LANGUAGE GeneralizedNewtypeDeriving #-}



module Common where



-- orig in mu/Syntax.hs

-- N for name, but Name already used in Bound,
-- and Nm is a data type in Syntax, thus N - oh well
type N = String




data Binop = Add | Sub | Mul | Eql
  deriving (Eq, Ord, Show, Read)
