fact: Definition lv2params (m : Method) (params : list Value) : ParamDict.t := let args_tail := METHODSIGNATURE.parameters (METHOD.signature m) in let args := if METHOD.isStatic m then args_tail else paramThis :: args_tail in fill_param_dict args params ParamDict.empty.
imports: Coq(List) Coq(Relation_Operators) Coq(DecidableType) Coq(FSetInterface)