Module libunseemly::beta[][src]

Re-exports

pub use self::Beta::*;

Enums

Betas 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.