(* *)
(***********************************************************************)
+(*
+ Time-stamp: <Last modified on 2013-01-30 19:05:20 CET by Kim Nguyen>
+*)
+
(** Various generic signatures and generic module and functor definitions
*)
INCLUDE "utils.ml"