:- module parent. :- interface. :- type t1 ---> t1. :- implementation. :- module sub. % :- interface. % :- type t2 ---> t2. :- end_module sub. :- end_module parent.