sigmastate.lang
Metadata for predefined function.
Builder of SigmaIR node which is equivalent to function application Rule: Apply(f, args) --> irBuilder(f, args)
(Since version ) see corresponding Javadoc for more information.