imitation of application and arrows must not drop any explicit dependences
imitation of application and arrows must not drop any explicit dependences

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