Index - B
| badEq | Language.Nominal.Examples.Style |
| badRestrict | Language.Nominal.Examples.Style |
| bad_countBinding | Language.Nominal.Examples.Style |
| bad_countOrder | Language.Nominal.Examples.Style |
| Binder | Language.Nominal.Binder, Language.Nominal |
| BinderConc | Language.Nominal.Binder, Language.Nominal |
| BinderSupp | |
| 1 (Type/Class) | Language.Nominal.Binder, Language.Nominal |
| 2 (Data Constructor) | Language.Nominal.Binder, Language.Nominal |
| binderToNom | Language.Nominal.Binder, Language.Nominal |
| Blockchain | Language.Nominal.Examples.IdealisedEUTxO |
| blockchain | Language.Nominal.Examples.IdealisedEUTxO |