Go to the source code of this file.
Namespaces
Functions
- generic range (const generic &g, nat start, nat end)
- generic append (const generic &g1, const generic &g2)
- generic cons (const generic &g1, const generic &g2)
- generic cons (const generic &g1, const generic &g2, const generic &g3)
- generic car (const generic &g)
- generic cdr (const generic &g)
- bool is_func (const generic &g, const char *f)
- bool is_func (const generic &g, const char *f, nat n)
- bool is_func (const generic &g, const generic &f)
- bool is_func (const generic &g, const generic &f, nat n)
- generic var_flatten (const generic &g)
- nat size (const generic &g)
- bool is_numeric (const string &s)
- static int compare_numeric (const string &s1, const string &s2)
- static int compare (const generic &g1, const generic &g2, const int &dir)
- static int compare_sub (const generic &g1, const generic &g2, const int &direction)
- int compare_N (const generic &g1, const generic &g2)
- int compare_P (const generic &g1, const generic &g2)
- int big_small_compare (const generic &g1, const generic &g2)
- int small_big_compare (const generic &g1, const generic &g2)