Hyper.Unify.Occurs

Occurs check (check whether unification terms recursively contains themselves)

Documentation

occursCheck :: forall m t. Unify m t => (UVarOf m # t) -> m ()

Occurs check