Source code on Github
open import Prelude.Init; open SetAsType
open import Prelude.DecEq

module Nominal.Abs (Atom : Type) ⦃ _ : DecEq Atom ⦄ where

open import Nominal.Abs.Base Atom public
open import Nominal.Abs.Lift Atom public
open import Nominal.Abs.Support Atom public
open import Nominal.Abs.Product Atom public