| Backend | Gibbon.Common |
| backend | Gibbon.Common, Gibbon.Compiler |
| Bench | Gibbon.Common, Gibbon.Compiler |
| BenchE | |
| 1 (Data Constructor) | Gibbon.L1.Syntax |
| 2 (Data Constructor) | Gibbon.L0.Syntax |
| BenchInput | Gibbon.Common, Gibbon.Compiler |
| benchInput | Gibbon.Common, Gibbon.Compiler |
| BigInfinite | Gibbon.L2.Syntax, Gibbon.NewL2.Syntax |
| binary | Gibbon.L1.GenSML |
| bindLambdas | Gibbon.L0.Specialize2 |
| Binds | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| binds | Gibbon.L4.Syntax |
| bnd | Gibbon.L4.Syntax |
| bod | Gibbon.L4.Syntax |
| body | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| bodyF | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| bod_maybe | Gibbon.L4.Syntax |
| BoolS | Gibbon.L3.Syntax, Gibbon.L4.Syntax |
| BoolTriv | Gibbon.L4.Syntax |
| BoolTy | |
| 1 (Data Constructor) | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| 2 (Data Constructor) | Gibbon.L0.Syntax |
| 3 (Data Constructor) | Gibbon.L4.Syntax |
| BoolTyF | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| Bounded | Gibbon.L2.Syntax, Gibbon.NewL2.Syntax |
| BoundedSize | Gibbon.L2.Syntax, Gibbon.NewL2.Syntax |
| BoundsCheck | |
| 1 (Data Constructor) | Gibbon.L2.Syntax, Gibbon.NewL2.Syntax |
| 2 (Data Constructor) | Gibbon.L3.Syntax |
| 3 (Data Constructor) | Gibbon.L4.Syntax |
| boundsCheck | Gibbon.Passes.ThreadRegions |
| BoundTv | Gibbon.Common |
| Buffer | |
| 1 (Type/Class) | Gibbon.L2.Interp |
| 2 (Data Constructor) | Gibbon.L2.Interp |
| bufID | |
| 1 (Function) | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| 2 (Function) | Gibbon.L2.Interp |
| BufVal | Gibbon.L4.Interp |
| buildLeafFun | Gibbon.L2.Examples |
| buildLeafProg | Gibbon.L2.Examples |
| buildSTreeProg | Gibbon.L2.Examples |
| buildTreeProg | Gibbon.L2.Examples |
| buildTreeSumProg | Gibbon.L2.Examples |
| buildTwoTreesProg | Gibbon.L2.Examples |
| BumpArenaRefCount | |
| 1 (Data Constructor) | Gibbon.L3.Syntax |
| 2 (Data Constructor) | Gibbon.L4.Syntax |
| byteSize | Gibbon.L2.Interp |
| byteSizeOfTy | Gibbon.L2.Interp |