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