Index - B
| BaseFunctorDoesNotExistFor | Covenant.ASG |
| baseFunctorOf | Covenant.ASG |
| BBFError | Covenant.Data |
| BData | Covenant.Prim |
| Blake2b_224 | Covenant.Prim |
| Blake2b_256 | Covenant.Prim |
| BLS12_381_finalVerify | Covenant.Prim |
| BLS12_381_G1_add | Covenant.Prim |
| BLS12_381_G1_compress | Covenant.Prim |
| BLS12_381_G1_ElementT | Covenant.Type |
| BLS12_381_G1_equal | Covenant.Prim |
| BLS12_381_G1_hashToGroup | Covenant.Prim |
| BLS12_381_G1_neg | Covenant.Prim |
| BLS12_381_G1_scalarMul | Covenant.Prim |
| BLS12_381_G1_uncompress | Covenant.Prim |
| BLS12_381_G2_add | Covenant.Prim |
| BLS12_381_G2_compress | Covenant.Prim |
| BLS12_381_G2_ElementT | Covenant.Type |
| BLS12_381_G2_equal | Covenant.Prim |
| BLS12_381_G2_hashToGroup | Covenant.Prim |
| BLS12_381_G2_neg | Covenant.Prim |
| BLS12_381_G2_scalarMul | Covenant.Prim |
| BLS12_381_G2_uncompress | Covenant.Prim |
| BLS12_381_millerLoop | Covenant.Prim |
| BLS12_381_MlResultT | Covenant.Type |
| BLS12_381_mulMlResult | Covenant.Prim |
| BoolT | Covenant.Type |
| boolT | Covenant.Type |
| BoundAt | Covenant.Type |
| BoundTyVar | Covenant.ASG |
| boundTyVar | Covenant.ASG |
| BrokenIdReference | Covenant.ASG |
| BrokenZipper | Covenant.Zipper |
| Builtin1 | Covenant.ASG |
| builtin1 | Covenant.ASG |
| Builtin2 | Covenant.ASG |
| builtin2 | Covenant.ASG |
| Builtin3 | Covenant.ASG |
| builtin3 | Covenant.ASG |
| Builtin6 | Covenant.ASG |
| builtin6 | Covenant.ASG |
| BuiltinFlat | Covenant.Type |
| BuiltinFlatT | Covenant.Type |
| BuiltinStrategy | Covenant.Type |
| ByteStringT | Covenant.Type |
| byteStringT | Covenant.Type |
| ByteStringToInteger | Covenant.Prim |