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 |
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 |