remember_table(unsigned s, unsigned as, unsigned strat);
bool lookup_entry(function const & f, ex & result) const;
void add_entry(function const & f, ex const & result);
remember_table(unsigned s, unsigned as, unsigned strat);
bool lookup_entry(function const & f, ex & result) const;
void add_entry(function const & f, ex const & result);