Function guardError

test/compute-engine/fungrim-compile.test.ts:77–81

(assumptions: unknown, variables: string[])

}

function guardError(assumptions: unknown, variables: string[]): string {
  const r = compileGuards(assumptions, variables);
  if (!('error' in r)) throw new Error('expected a guard-compilation error');
  return r.error;
}

// ---------------------------------------------------------------------------
// wildcardization