LText.Internal.Types

type TypeVar

data Type

data Prenex

type Subst name domain

nullSubst

composeSubst

prType

prParenType

prPrenex