{-# LANGUAGE PatternSynonyms #-}

-- | Abstract binding trees with a nameless internal representation.
module Zabt ( 

    Term

  , pattern Var
  , pattern Lam
  , pattern Pat

  , subst
  , subst1
  , freeVars

  , View (..)
  , fold
  , unfold

  , Freshen (..)




) where

import Zabt.Internal