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