Module gluon_check::unify_type[−][src]

Structs

new_skolem_scope	Replaces all instances `Type::Generic` in `typ` with fresh type variables (`Type::Variable`)
similarity_filter
subsumes	Performs subsumption between `l` and `r` (`r` is-a `l`)
top_skolem_scope

Error
UnifierState