zabt-0.3.0.0: Arity-typed abstract binding trees

Safe HaskellSafe
LanguageHaskell2010

Zabt.Internal.Index

Description

Newtype for de Bruijn indices.

Synopsis

Documentation

newtype Index Source #

A de Bruijn index.

Constructors

Index 

Fields

Instances