Reverse the fields and args list when trying to match args to the field since the extra args added by the type checker are at the beginning
Reverse the fields and args list when trying to match args to the field since the extra args added by the type checker are at the beginning

A-Manning/FStar,A-Manning/FStar,A-Manning/FStar,FStarLang/FStar,FStarLang/FStar,FStarLang/FStar