Language.Symantic.Typing.Read

readType

readTyVars

readTyName

readVars

Type Name2Type

type Name2Type src

Type TypeTLen

data TypeTLen src

Class Inj_Name2Type

class Inj_Name2Type cs

Type Error_Type

data Error_Type src