Documentation ¶
Index ¶
Constants ¶
View Source
const ( NotOp = "¬" AndOp = "∧" OrOp = "∨" EquivalesOp = "≡" NotEquivalesOp = "≢" ImpliesOp = "⇒" Term = "term" )
View Source
const ( OperandAK = "a" OperandBK = "b" StrK = "str" )
Variables ¶
This section is empty.
Functions ¶
Types ¶
Click to show internal directories.
Click to hide internal directories.