Agda-2.3.2.2: examples/lib/Data/Char.agda

module Data.Char where

postulate Char : Set

{-# BUILTIN CHAR Char #-}