Lava.MyST
data ST s a
data STRef s a