Jean-Christophe Filliâtre's implementation of maps over integers implemented as Patricia trees
By chatting or signing in you agree to the Terms and chat-message logging (revocable in History).