Documentation

bindNames :: forall a v. Var v => (v -> Name) -> (Name -> v) -> Set v -> Names -> Type v a -> ResolutionResult a (Type v a) Source #