Ivory.Language.Type

class IvoryType t

class IvoryVar t

class IvoryExpr t

wrapVarExpr

typedExpr

exprBinop

exprUnary

data OpaqueType