Function DISCONNECT_B

src/simplicity/dag.h:219–223

}

static inline size_t DISCONNECT_B(const dag_node* dag, const type* type_dag, size_t i) {
  simplicity_debug_assert(DISCONNECT == dag[i].tag);
  simplicity_debug_assert(PRODUCT == type_dag[dag[i].targetType].kind);
  return type_dag[dag[i].targetType].typeArg[0];
}

static inline size_t DISCONNECT_C(const dag_node* dag, const type* type_dag, size_t i) {
  (void)type_dag;