Function fail

src/compute-engine/rubi/rubi-utils.ts:44–46

(why: string)

};

const fail = (why: string): never => {
  throw new RuleFail(why);
};

// ---------------------------------------------------------------------------
// Builder: corpus MathJSON + bindings → BoxedExpression