Untyped
data UTerm Source #
Constructors
Defined in Untyped
Methods
showsPrec ∷ Int → UTerm → ShowS Source #
show ∷ UTerm → String Source #
showList ∷ [UTerm] → ShowS Source #
unIndex ∷ Index → Integer Source #
convP ∷ Program NamedDeBruijn DefaultUni DefaultFun a → UTerm Source #
conv ∷ Term NamedDeBruijn DefaultUni DefaultFun a → UTerm Source #
tmnames ∷ [Char] Source #
uconv ∷ Int → UTerm → Term NamedDeBruijn DefaultUni DefaultFun () Source #