AST.Term.Scheme.AlphaEq

Alpha-equality for schemes

Documentation

alphaEq :: (KTraversable varTypes, KNodesConstraint varTypes (Unify m), HasScheme varTypes m typ) => Tree Pure (Scheme varTypes typ) -> Tree Pure (Scheme varTypes typ) -> m ()