Function setTypeBack

src/simplicity/type.h:91–100

Precondition: type type_dag[i] and 'type_dag' is well-formed. * if type_dag[i] is a non-trival 'PRODUCT', then both of its two type arguments are non-trival. * Postconditon: value == type_dag[i] */

 * Postconditon: value == type_dag[i]
 */
static inline void setTypeBack(size_t i, type* type_dag, size_t value) {
  /* .back cannot be used if .skip is in use.
     Specifically it cannot be a non-trivial 'PRODUCT' type where one of its two type arguments is a trivial type.
   */
  simplicity_assert((PRODUCT != type_dag[i].kind ||
                     0 == type_dag[i].bitSize ||
                     (0 != type_dag[type_dag[i].typeArg[0]].bitSize &&
                      0 != type_dag[type_dag[i].typeArg[1]].bitSize)));
  type_dag[i].back = value;
}
#endif