Agda-2.3.2.2: test/Common/Char.agda

module Common.Char where

postulate
  Char : Set

{-# BUILTIN CHAR Char #-}