hello.tppl

function hello

Model function Parameters: none Returns: nothing Side-effect: prints "Hello, world!"

model function hello() => ()