sig
  val hc0_ : int -> int
  val hc0 : 'a BatHashcons.hobj -> int
  val hc1_ : int -> int -> int
  val hc1 : 'a BatHashcons.hobj -> int -> int
end