Function CASE_B

src/simplicity/dag.h:176–181

}

static inline size_t CASE_B(const dag_node* dag, const type* type_dag, size_t i) {
  simplicity_debug_assert(CASE == dag[i].tag || ASSERTL == dag[i].tag || ASSERTR == dag[i].tag);
  simplicity_debug_assert(PRODUCT == type_dag[dag[i].sourceType].kind);
  simplicity_debug_assert(SUM == type_dag[type_dag[dag[i].sourceType].typeArg[0]].kind);
  return type_dag[type_dag[dag[i].sourceType].typeArg[0]].typeArg[1];
}

static inline size_t CASE_C(const dag_node* dag, const type* type_dag, size_t i) {
  simplicity_debug_assert(CASE == dag[i].tag || ASSERTL == dag[i].tag || ASSERTR == dag[i].tag);