sigmastate.lang.SigmaPredef
WARNING: This operations are not used in frontend, and should be be used.
WARNING: This operations are not used in frontend, and should be be used. They are used in SpecGen only the source of metadata for the corresponding ErgoTree nodes.