Function DISCONNECT_BC

src/simplicity/dag.h:243–247

}

static inline size_t DISCONNECT_BC(const dag_node* dag, const type* type_dag, size_t i) {
  (void)type_dag;
  simplicity_debug_assert(DISCONNECT == dag[i].tag);
  return dag[dag[i].child[0]].targetType;
}

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