Function WITNESS_B

src/simplicity/dag.h:291–295

}

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

/* A well-formed Simplicity DAG is an array of 'dag_node's,
 *