Function simplicity_output_amount

src/simplicity/elements/elementsJets.c:391–400

output_amount : TWO^32 |- S (Conf TWO^256, Conf TWO^64) */

/* output_amount : TWO^32 |- S (Conf TWO^256, Conf TWO^64) */
bool simplicity_output_amount(frameItem* dst, frameItem src, const txEnv* env) {
  uint_fast32_t i = simplicity_read32(&src);
  if (writeBit(dst, i < env->tx->numOutputs)) {
    asset(dst, &env->tx->output[i].asset);
    amt(dst, &env->tx->output[i].amt);
  } else {
    skipBits(dst, 516);
  }
  return true;
}

/* output_nonce : TWO^32 |- S (S (Conf TWO^256)) */
bool simplicity_output_nonce(frameItem* dst, frameItem src, const txEnv* env) {