Function getFrozenIx

src/simplicity/typeInference.c:413–415

Given the representative of an equivalence class of unification variables that already has a reference to a frozen version * of its bound type, return that reference. * * Precondition: NULL == var->parent; * isFrozen(var) */

 *               isFrozen(var)
 */
static size_t getFrozenIx(unification_var* var) {
  return var->isBound ? var->bound.frozen_ix : 0;
}

/* Set '*result' to the index within 'type_dag' that contains an instance type bound by 'var' where free variables are instantiated
 * at the ONE type, recursively adding new nodes to 'type_dag' as necessary.