Another equation to cut matching loops (suggested by @nikswamy)
Another equation to cut matching loops (suggested by @nikswamy)

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