Module libunseemly::beta [−][src]
Re-exports
pub use self::Beta::*;
Enums
Beta
s are always tied to a particular Form
,
and they have names that refer to the parts of that Form
.
They are generally used to talk about environmental operations,
and they are most useful for typechecking
(the evaluation process ignores them,
because it needs to do more complex operations
to calculate extended environments).
Functions
Find the environment represented by b
.
SameAs
and Basic
nodes will cause walking in Mode
, which should be positive.
TODO: Unfortunately, this means that they don’t work well in the subtyping walk, for instance.