Inline functions for accessing the type annotations of combinators */
| 137 | |
| 138 | /* Inline functions for accessing the type annotations of combinators */ |
| 139 | static inline size_t IDEN_A(const dag_node* dag, const type* type_dag, size_t i) { |
| 140 | (void)type_dag; |
| 141 | simplicity_debug_assert(IDEN == dag[i].tag); |
| 142 | return dag[i].sourceType; |
| 143 | } |
| 144 | |
| 145 | static inline size_t UNIT_A(const dag_node* dag, const type* type_dag, size_t i) { |
| 146 | (void)type_dag; |
no outgoing calls
no test coverage detected