Function skip

src/simplicity/eval.c:141–144

Given a write frame, advance its cursor by 'n' cells. * * Precondition: n <= frame->offset */

 * Precondition: n <= frame->offset
 */
static void skip(frameItem* frame, size_t n) {
  simplicity_debug_assert(n <= frame->offset);
  frame->offset -= n;
}

/* Given a compact bit representation of a value 'v : B', write the value 'v' to a write frame, skipping cells as needed
 * and advance its cursor.