Kaba struct MatchingTerm ed

struct MatchingTerm
    var name: string
    var t: shared![Term]

    # constructors
    func mut __init__()
    func mut __init__(t: shared![Term], name: string)

    # operators
    func __str__() -> string             # str(MatchingTerm) -> string
    func mut __assign__(other: MatchingTerm) # MatchingTerm = MatchingTerm