class TEST2 [G, H -> ANY] inherit TEST3 [H] redefine value end create make feature make do print (value) end value: H do print (([Precursor]).generating_type) io.put_new_line print ((<< Precursor >>).generating_type) io.put_new_line end end