Docs GODI Archive
Projects Blog Link DB

Search GODI:


More options
File lib/ocaml/pkg-lib/hydro/hydro_prelim.mli GODI Package godi-hydro
Library hydro
 
   hydro_prelim.cmi_pretty    hydro_prelim.mli    Sources  
(* $Id: hydro_prelim.mli 15662 2007-12-13 00:21:54Z gerd $ *)

(** Preliminaries *)

module CiString : sig
  type t = string
  val equal : t -> t -> bool
  val hash : t -> int
  val compare : t -> t -> int
end
  (** Hashable strings with case-insentitive hash values and case-insensitive
      comparison
    *)

module CiHashtbl : Hashtbl.S with type key = CiString.t
  (** Case-insensitive hashtable of strings *)

module CiStrSet : Set.S with type elt = CiString.t
  (** Case-insensitive sets of strings *)

module CiStrMap : Map.S with type key = CiString.t
  (** Case-insensitive maps of strings *)
This web site is published by Informatikbüro Gerd Stolpmann
Powered by Caml