Function applyBinding

src/simplicity/typeInference.c:197–202

Add a new binding, 'bound', to a unification variable 'alpha'. * If 'alpha' is already bound to a type that doesn't unify with 'bound', then 'false' is returned. * Otherwise variables of 'bound's bindings and 'alpha's bindings (if any) are recursively unified and 'true' is returned. * '*bindings_used' is decremented by the number of pairs of (non-trivial) bindings that are successfully unified.

 *               NULL != bindings_used
 */
static bool applyBinding(unification_var* alpha, binding* bound, size_t* bindings_used) {
  unification_cont scratch = {0};
  unification_cont* cont = &scratch;
  if (!applyBinding_cont(findRoot(alpha), bound, &cont, bindings_used)) return false;
  return NULL == cont || unify_cont(cont, bindings_used);
}

/* Unify a pair of unification variables.
 * If unification fails, then NULL is returned.