API Version 4.08
< General Index
Misc.Stdlib.String.Map
Module
Misc.Stdlib.String.Map
module
Map
:
Map.S
with type key = string
The present documentation is copyright Institut National de Recherche en Informatique et en Automatique (INRIA). A complete version can be obtained from
this page
.