TMap.v -- A simple total map implementation for coq

Author: Yu Guo <echo "aciclo#gmail" | sed -e 's/#/@/' | sed -e 's/il/\il.com/'>

A total map implementation

Coq version

Require Coq >= 8.6

References