RL.Types
type Layer a num
type Storage s a num
data M s a num
initM
mmod
aq0
get_s
layer_s_max
get_s_a
put_s
put_s_a
modify_s_a
list
foldMap_s
fold_s