Language.Embedded.Backend.C.Expression
class CompExp exp
class CType a
proxyArg
class CompTypeClass ct
proxyPred
freshVar