Agda-2.6.1: A dependently typed functional programming language and proof assistant

Agda.Utils.Map

Contents

Synopsis

O(n log n). Rebuilds the map from scratch. Not worse than mapKeys.