let
store : mem_bits
->
t_addr
->
t_bits
->
mem_bits =
F
.e_app3
"rt_store"