Enum polytype::UnificationError
[−]
[src]
pub enum UnificationError {
Occurs,
Failure(Type, Type),
}Variants
OccursFailure(Type, Type)