Function test

src/runtime/providers/math.ts:22–25

(prefix)

  // Check if our return is equivalent to the result of the total function.
  test(prefix) {
    let {args, returns} = this.resolve(prefix);
    return this.getReturnValue(args) === returns[0];
  }

  // Total functions always have a cardinality of 1
  getProposal(tripleIndex, proposed, prefix) {