def hello : String

Placeholder greeting string.

Equations

• hello = "world"