Providers

A Procedure that takes in no data but returns some data.

Fig 1:

provider getInt() -> int {
    return 10;
}

print(getInt());

Output:

10