let
add vi ki lv =
IState
.add vi (ki, lv)