|
|
|---|
|
|
|
|---|
Fixtype of dynamic environments.
This is a product type introduced by fty::defprod.
A dynamic environment includes a call stack, a function environment, a struct environment, and a screen; it also includes the curve that parameterizes Leo. More components might be added in the future; for instance, if global variables and constants were added to Leo, then we could add here a dynamic variable and constant scope.