1 2 3 4 5 6 7 8 9 10 11 12 13 14
# kinds -*- sh -*- # # For documentation on this file format, please refer to # src/expr/builtin_kinds. # operator FALSE "falsity" operator TRUE "truth" operator NOT "logical not" operator AND "logical and" operator IFF "logical equivalence" operator IMPLIES "logical implication" operator OR "logical or" operator XOR "exclusive or"