1 2 3 4 5 6 7 8
DEFINITION MODULE opaquenew ; (*!m2pim*) TYPE List ; PROCEDURE dupList (l: List) : List ; END opaquenew.