S.eff
method virtual lookup : var -> 'r T1(M).m
method virtual update : var -> 'r -> unit T1(M).m
method virtual load : 's -> addr -> 'r T1(M).m
method virtual store : 's -> addr -> word -> 'r T1(M).m