module Data.Char_Type(Char, String) where
import Prelude()              -- do not import Prelude
import Primitives
import Data.List_Type

type String = [Char]