fact: Fixpoint fill_param_dict(args : list Param) (params : list (Value)) (paramlist : ParamDict.t) {struct params} : ParamDict.t := match args, params with | arg::argtail, par::partail => fill_param_dict argtail partail (ParamDict.update paramlist arg par) | _ , _ => paramlist end.
imports: Coq(List) Coq(Relation_Operators) Coq(DecidableType) Coq(FSetInterface)