Crate lark_unify

Structs

InferVar
UnificationTable

Traits

Inferable

Each "inferable" value represents something which can be inferred. For example, the crate::ty::Perm and crate::ty::Base types implement inferable.