diff options
Diffstat (limited to 'lib/cString.mli')
-rw-r--r-- | lib/cString.mli | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/lib/cString.mli b/lib/cString.mli index d8a19c8e4..5f3616231 100644 --- a/lib/cString.mli +++ b/lib/cString.mli @@ -99,6 +99,9 @@ sig module Map : CMap.ExtS with type key = t and module Set := Set (** Finite maps on [string] *) + module List : CList.MonoS with type elt = t + (** Association lists with [string] as keys *) + val hcons : string -> string (** Hashconsing on [string] *) |