let
locals values f state =
List
.fold_left (
fun
s v
->
variable s values v) state f.slocals