fact: Fixpoint e_to_f(r:list(string*Z))(g:string->Z)(var:string):Z := match r with nil => g var | (s,v)::tl => if string_dec s var then v else e_to_f tl g var end.
imports: syntax little denot Bool List String ZArith