sig
  val repr_of_poly_variant : [>  ] -> int
  val hash_variant : string -> int
  val double_array_value : 'a
  val has_double_array_tag : '-> bool
end