sigmastate
THRESHOLD connector for sigma propositions
Unique id of the node class used in serialization of SigmaBoolean.
THRESHOLD connector for sigma propositions