The Coq mailing list

[Dmitry Grebeniuk <gdsfh1 AT gmail.com>]

Hello.

  Is there an easy way to FMapAVL with string keys?
  I haven't found one, so I'm asking here.

  Also I've encountered many problems while trying
to do this:

1. I can't "Print Module Type" to understand what types
should have module's structure items to be able to
pass this module as an argument to the functor
FMapAVL.Make.

2. I can't figure out what type has
"Coq.Structures.Orders.OrderedType" due to many
module types' inclusions, and I have no explicitely
written OrderedType module type.  (also links in
http://coq.inria.fr/distrib/V8.4beta/stdlib/ doesn't
work ("#anchor" is empty, at least in many links
from page [1]))

3. Writing ascii_lt / string_lt is a boring thing.  Can
anybody share this code (if exists)?  Also other
functions from OrderedType are in my interests too
(sorry, can't say which types they should have,
only names).


[1] -- 
http://coq.inria.fr/distrib/V8.4beta/stdlib/Coq.Structures.Equalities.html#