sig
  type state
  val int : int -> state -> state
  val bool : bool -> state -> state
  val char : char -> state -> state
  val int32 : int32 -> state -> state
  val int64 : int64 -> state -> state
  val nativeint : nativeint -> state -> state
  val slice : string -> int -> int -> state -> state
  type 'a hash_fun = 'a -> CCHash.state -> CCHash.state
  val string : string CCHash.S.hash_fun
  val list : 'a CCHash.S.hash_fun -> 'a list CCHash.S.hash_fun
  val array : 'a CCHash.S.hash_fun -> 'a array CCHash.S.hash_fun
  val opt : 'a CCHash.S.hash_fun -> 'a option CCHash.S.hash_fun
  val pair :
    'a CCHash.S.hash_fun ->
    'b CCHash.S.hash_fun -> ('a * 'b) CCHash.S.hash_fun
  val triple :
    'a CCHash.S.hash_fun ->
    'b CCHash.S.hash_fun ->
    'c CCHash.S.hash_fun -> ('a * 'b * 'c) CCHash.S.hash_fun
  val if_ :
    bool ->
    'a CCHash.S.hash_fun -> 'a CCHash.S.hash_fun -> 'a CCHash.S.hash_fun
  val seq : 'a CCHash.S.hash_fun -> 'a CCHash.sequence CCHash.S.hash_fun
  val gen : 'a CCHash.S.hash_fun -> 'a CCHash.gen CCHash.S.hash_fun
  val klist : 'a CCHash.S.hash_fun -> 'a CCHash.klist CCHash.S.hash_fun
end