Data.Binding.Hobbits.Mb

Abstract types

data Name a

type Binding a

data Mb ctx b

Multi-binding constructors

Queries on names

Operations on multi-bindings

Eliminators for multi-bindings

nuMultiWithElim

nuMultiWithElim1