11.10. Type Declaration Extends Example

This illustrates the use of the extends annotation:

import org.people.Person

declare Person
end

declare Student extends Person
    school : String
end

declare LongTermStudent extends Student
    years : int
    course : String
end