Function guards

test/compute-engine/fungrim-compile.test.ts:71–75

(assumptions: unknown, variables: string[])

}

function guards(assumptions: unknown, variables: string[]): GuardSpec[] {
  const r = compileGuards(assumptions, variables);
  if ('error' in r) throw new Error(`unexpected guard error: ${r.error}`);
  return r.guards;
}

function guardError(assumptions: unknown, variables: string[]): string {
  const r = compileGuards(assumptions, variables);