Function isFrozen

src/simplicity/typeInference.c:402–405

Determine if the representative of an equivalence class of unification variables already has a reference * to a frozen version of its bound type. * * Note that free variables and variables bound to the 'ONE' type are automatically always frozen. * * Precondition: NULL == var->parent */

 * Precondition: NULL == var->parent
 */
static bool isFrozen(unification_var* var) {
  simplicity_assert(!var->isBound || ONE != var->bound.kind || 0 == var->bound.frozen_ix);
  return !var->isBound || ONE == var->bound.kind || var->bound.frozen_ix;
}

/* 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.