IMPLEMENTATION HelloWorld

IMPORT  BasicIO ONLY writeLine: denotation -> com[void]

-- FUN hello : com[void] -- already declared in the Signature-Part
DEF hello == writeLine("Hello, World!")



SIGNATURE HelloWorld
IMPORT  Com[void]       ONLY com
        Void            ONLY void

FUN hello : com[void]	-- top level command