(***********************************************************************)
(*
- Time-stamp: <Last modified on 2013-03-13 18:30:59 CET by Kim Nguyen>
+ Time-stamp: <Last modified on 2013-04-18 11:21:16 CEST by Kim Nguyen>
*)
include module type of Hlist_sig