search

brando90 / cs522_project

0 stars 0 forks source link

How does t_update work? #5

Open brando90 opened 5 years ago

brando90 commented 5 years ago 
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 =>?