| 255 | } |
| 256 | |
| 257 | static inline void set_case_last_flag(call *stack, bool flag) { |
| 258 | if (flag) { |
| 259 | stack->flags |= FLAG_LAST_CASE; |
| 260 | } else { |
| 261 | stack->flags &= (flags_type)(~FLAG_LAST_CASE); |
| 262 | } |
| 263 | } |
| 264 | |
| 265 | /* Starting from the Bit Machine 'state', |
| 266 | * run the machine with the TCO (off) program generated by the well-typed Simplicity expression 'dag[len]' of type 'A |- B'. |