1 2 3 4 5 6 7 8
from seahorse.prelude import * class MoreData: num: i32 def __init__(self, num: i32): self.num = num