Hyper.Syntax.Scheme.AlphaEq
Description
Alpha-equality for schemes
alphaEq :: (HTraversable varTypes, HNodesConstraint varTypes (UnifyGen m), HasScheme varTypes m typ) => (Pure # Scheme varTypes typ) -> (Pure # Scheme varTypes typ) -> m () Source #