module Common.Char where

postulate
  Char : Set

{-# BUILTIN CHAR Char #-}