The Coq mailing list

[Jianzhou Zhao <jianzhou AT seas.upenn.edu>]

Hi List,

The Coq standard library has both FMapAVL and FMapFullAVL. In terms of
the comments on the top of FMapFullAVL, FMapFullAVL is a wrapper of
FMapAVL, and with more properties proved. Does it mean if I want to
use an efficient map, I should always use FMapFullAVL? Thanks.

-- 
Jianzhou