| B2D | Language.Atom.Expressions, Language.Atom.Language, Language.Atom | | B2F | Language.Atom.Expressions, Language.Atom.Language, Language.Atom | | Bool | Language.Atom.Expressions, Language.Atom.Language, Language.Atom | | bool | Language.Atom.Language, Language.Atom | | bool' | Language.Atom.Language, Language.Atom | | buildAtom | Language.Atom.Elaboration | | BWAnd | Language.Atom.Expressions, Language.Atom.Language, Language.Atom | | BWNot | Language.Atom.Expressions, Language.Atom.Language, Language.Atom | | BWOr | Language.Atom.Expressions, Language.Atom.Language, Language.Atom | | bytes | Language.Atom.Expressions, Language.Atom.Language, Language.Atom |
|