Function entry

test/compute-engine/fungrim-compile.test.ts:48–69

(
  id: string,
  formula: unknown,
  variables: string[] = [],
  assumptions: unknown = null,
  cls: 'identity' | 'specific-value' = 'identity'
)

};

function entry(
  id: string,
  formula: unknown,
  variables: string[] = [],
  assumptions: unknown = null,
  cls: 'identity' | 'specific-value' = 'identity'
): Entry {
  return {
    id,
    formula,
    variables,
    assumptions,
    class: cls,
    subclass: null,
    heads: [],
    guardLevel: assumptions === null ? 'none' : 'real-simple',
    flavor: null,
    references: null,
    topics: ['fixture'],
    topic: 'fixture',
  } as Entry;
}

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