package rfsm

The type of guest-level expressions

The type of guest-level values

eval_fn args body should return the value representing a function taking a list of arguments args and returning the value denoted by expression body. For guest languages not supporting functions (such as the core one, for example), the return value is undefined.

eval e should return the value corresponding to the static evaluation of expression e. This should function should raise Non_static_value is e cannot be evaluated statically (typically, if is not a litteral constant).