ATS Reference Type Example

#include "share/atspre_staload.hats"


implement main0 () = () where {
   val a = ref<int> 10
   
   val _ = $showtype a // ref(int)
   val _ = $showtype !a // int
   
   val _ = println! !a 
   
   val _ = !a := 20
   val _ = println! !a
}