#include <environment.hpp>
Definition at line 26 of file environment.hpp.
list<string> completion_list | ( | const environment & | env | ) | [friend] |
nat hash | ( | const environment & | env | ) | [friend] |
bool is_nil | ( | const environment & | env | ) | [friend] |
void reset | ( | const environment & | env, | |
const generic & | x | |||
) | [friend] |
void verify_if_unknown_types | ( | const environment & | env | ) | [friend] |