Language.Symantic.Lib.Bool
Sym_Bool
class Sym_Bool term
Type
tyBool
Term
teBool
teBool_not
teBool_and
teBool_or
teBool_xor