| basicSorts | Language.Fixpoint.Types.Sorts, Language.Fixpoint.Types |
| bb | Language.Fixpoint.Utils.Builder |
| beBinds | Language.Fixpoint.Types.Environments, Language.Fixpoint.Types |
| bFloat | Language.Fixpoint.Utils.Builder |
| Bind | |
| 1 (Data Constructor) | Language.Fixpoint.Utils.Trie |
| 2 (Data Constructor) | Language.Fixpoint.Types.Solutions |
| 3 (Type/Class) | Language.Fixpoint.Horn.Types |
| 4 (Data Constructor) | Language.Fixpoint.Horn.Types |
| 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 |
| bindSymbol | Language.Fixpoint.Types.Names, Language.Fixpoint.Types |
| 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 |
| bkAbs | Language.Fixpoint.Types.Sorts, Language.Fixpoint.Types |
| bkFFunc | Language.Fixpoint.Types.Sorts, Language.Fixpoint.Types |
| block | Language.Fixpoint.Parse |
| blt | Language.Fixpoint.Utils.Builder |
| 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 |
| bPred | Language.Fixpoint.Horn.Types |
| braces | |
| 1 (Function) | Text.PrettyPrint.HughesPJ.Compat |
| 2 (Function) | Language.Fixpoint.Parse |
| brackets | |
| 1 (Function) | Text.PrettyPrint.HughesPJ.Compat |
| 2 (Function) | Language.Fixpoint.Parse |
| Branch | Language.Fixpoint.Utils.Trie |
| Brel | Language.Fixpoint.Types.Refinements, Language.Fixpoint.Types |
| bs | Language.Fixpoint.Types.Constraints, Language.Fixpoint.Types |
| bShow | Language.Fixpoint.Utils.Builder |
| bSort | Language.Fixpoint.Horn.Types |
| bSym | Language.Fixpoint.Horn.Types |
| Builder | Language.Fixpoint.Utils.Builder |
| 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 |