@decreases

reldef:@decreases

decreases — 'decreases' relation asserted between two atoms.