code: def ip6_addr_strings():
      # type: () -> SearchStrategy[Text]
      """A strategy for IPv6 address strings.
  
      This consists of sixteen quads of hex digits (0000 .. FFFF), joined
      by colons.  Values do not currently have zero-segments collapsed.
      """
      part = st.integers(0, 2**16 - 1).map("{:04x}".format)
      return st.tuples(*[part] * 8).map(lambda a: ":".join(a).upper())
  
file_path: catboost/contrib/python/hypothesis/py2/hypothesis/provisional.py
imports: from __future__ import absolute_import, division, print_function
  import os.path
  import string
  import importlib_resources
  import hypothesis.internal.conjecture.utils
  import hypothesis.strategies._internal.core
  from hypothesis.errors import InvalidArgument
  from hypothesis.strategies._internal.strategies import SearchStrategy
label_desc: Use image node_id 4 for calling a global function with example usage: ip6_addr_strings() and returns: st