from ipaddress import IPv4Address
class ServerErr: Exception
class MyServer(def ip_address: IPv4Address):
def send(self, message: Str) =>
pass
def disconnect() => pass
class ConnectedMyServer: MyServer
def fin some_ip := ipaddress.ip_address("151.101.193.140")
def my_server := MyServer(some_ip)
def message := "Hello World!"
my_server.send(message) handle
err: ServerErr => print("Error while sending message: \"{message}\": {err}")
if my_server isa ConnectedMyServer then my_server.disconnect()