1 2 3 4 5 6 7 8 9 10
DEFINITION MODULE opaquestr ; (*!m2pim*) TYPE String ; PROCEDURE initString () : String ; PROCEDURE concat (left, right: String) : String ; END opaquestr.