Type Definition nar::syntax::abs::Bind

type Bind<T = Abs> = Bind<T>;

Name binding.