sigmastate.lang
Metadata for predefined function.
Builder of SigmaIR node which is equivalent to function application Rule: Apply(f, args) --> irBuilder(f, args)