How does t_update work?

[brando90]

Definition t_update (m : State) (x : string) (v : nat) :=
  fun x' => if string_dec x x' then Some v else m x'.

does it return a function or actually perform the operation after the =>?