| basicSorts | Language.Fixpoint.Types.Sorts, Language.Fixpoint.Types |
| beBinds | Language.Fixpoint.Types.Environments, Language.Fixpoint.Types |
| betaEquivalence | Language.Fixpoint.Types.Config |
| Bind | Language.Fixpoint.Types.Solutions |
| BindEnv | Language.Fixpoint.Types.Environments, Language.Fixpoint.Types |
| bindEnvFromList | Language.Fixpoint.Types.Environments, Language.Fixpoint.Types |
| bindEnvToList | Language.Fixpoint.Types.Environments, Language.Fixpoint.Types |
| BIndex | Language.Fixpoint.Types.Solutions |
| bindExpr | Language.Fixpoint.Types.Solutions |
| BindId | Language.Fixpoint.Types.Environments, Language.Fixpoint.Types |
| bindInfo | Language.Fixpoint.Types.Constraints, Language.Fixpoint.Types |
| BindMap | Language.Fixpoint.Types.Environments, Language.Fixpoint.Types |
| bindP | Language.Fixpoint.Parse |
| BindPred | Language.Fixpoint.Types.Solutions |
| BinFq | Language.Fixpoint.Utils.Files |
| BinSpec | Language.Fixpoint.Utils.Files |
| bitVecApplyName | Language.Fixpoint.Types.Names, Language.Fixpoint.Types |
| bitVecName | Language.Fixpoint.Types.Names, Language.Fixpoint.Types |
| bitVecSort | Language.Fixpoint.Types.Sorts, Language.Fixpoint.Types |
| bitVecToIntName | Language.Fixpoint.Types.Names, Language.Fixpoint.Types |
| bkFFunc | Language.Fixpoint.Types.Sorts, Language.Fixpoint.Types |
| blanks | Language.Fixpoint.Parse |
| boolApplyName | Language.Fixpoint.Types.Names, Language.Fixpoint.Types |
| boolConName | Language.Fixpoint.Types.Names, Language.Fixpoint.Types |
| boolFTyCon | Language.Fixpoint.Types.Sorts, Language.Fixpoint.Types |
| boolSort | Language.Fixpoint.Types.Sorts, Language.Fixpoint.Types, Language.Fixpoint.SortCheck |
| boolToIntName | Language.Fixpoint.Types.Names, Language.Fixpoint.Types |
| Bop | Language.Fixpoint.Types.Refinements, Language.Fixpoint.Types |
| bot | Language.Fixpoint.Types.Refinements, Language.Fixpoint.Types |
| boxDoc | Language.Fixpoint.Types.PrettyPrint, Language.Fixpoint.Types |
| boxHSep | Language.Fixpoint.Types.PrettyPrint, Language.Fixpoint.Types |
| BP | Language.Fixpoint.Types.Solutions |
| bpConc | Language.Fixpoint.Types.Solutions |
| bpKVar | Language.Fixpoint.Types.Solutions |
| braces | Language.Fixpoint.Parse |
| brackets | Language.Fixpoint.Parse |
| Brel | Language.Fixpoint.Types.Refinements, Language.Fixpoint.Types |
| bs | Language.Fixpoint.Types.Constraints, Language.Fixpoint.Types |
| buildMany | Language.Fixpoint.Types.Names, Language.Fixpoint.Types |
| Bv | |
| 1 (Type/Class) | Language.Fixpoint.Smt.Bitvector |
| 2 (Data Constructor) | Language.Fixpoint.Smt.Bitvector |
| BvAnd | Language.Fixpoint.Smt.Bitvector |
| bvAndName | Language.Fixpoint.Types.Names, Language.Fixpoint.Types |
| BvOp | Language.Fixpoint.Smt.Bitvector |
| BvOr | Language.Fixpoint.Smt.Bitvector |
| bvOrName | Language.Fixpoint.Types.Names, Language.Fixpoint.Types |
| BvSize | Language.Fixpoint.Smt.Bitvector |
| bvSortP | Language.Fixpoint.Parse |
| bvTyCon | Language.Fixpoint.Smt.Bitvector |