Demo of Global Counter
1234567891011121314
#include "share/atspre_staload.hats"
staload "seed.sats"
dynload "seed.dats"
implement main0 () = {
val _ = println! (seed 1)
val _ = println! (seed 1)
val _ = println! (seed 1)
val _ = println! (seed 1)
val _ = println! (seed 1)
val _ = println! (seed 1)
val _ = println! (seed 1)
}
Ats
INFO