include/mmxlight/environment.hpp File Reference

#include <basix/string.hpp>
#include <basix/list.hpp>
#include <basix/table.hpp>
#include <basix/lisp_syntax.hpp>
#include <basix/routine.hpp>

Go to the source code of this file.

Classes

• class environment
• class environment_rep

Namespaces

• namespace mmx

Functions

• INDIRECT_NULL_IMPL (environment, environment_rep) inline environment_rep
• generic read (const environment &env, const generic &x)
• void reset (const environment &env, const generic &x)
• list< string > completion_list (const environment &env)

  Return the list of all the litterals which are entries of the bindings.
  

• void verify_if_unknown_types (const environment &env)

  Check if Unknown type occurs in signatures.
  

• bool is_nil (const environment &env)
• nat hash (const environment &env)
• syntactic flatten (const environment &env)
• environment global_environment ()
• environment local_environment (const environment &next)
• routine overloaded_routine (const generic &name, const environment &env)
• generic equalize (const generic &fun, const vector< generic > &args)

---

Detailed Description

Definition in file environment.hpp.