docs: def secure_channel(target, credentials, options=None, *, loop=None, executor=None,
                     standalone_pool_for_streaming=False):
      """Creates a secure Channel to a server.
  
    Args:
      target: The server address.
      credentials: A ChannelCredentials instance.
      options: An optional list of key-value pairs (channel args in gRPC runtime)
      to configure the channel.
  
    Returns:
      A Channel object.
    """
      return Channel(_grpc.secure_channel(target, credentials, options),
                     loop, executor, standalone_pool_for_streaming)