fndifferencea:int,b:int->_/eax:int{}fntest-difference{varresult/eax:int<-difference5,3check-ints-equalresult,2,"F - difference works"result<-difference3,5check-ints-equalresult,2,"F - difference is always positive"result<-difference6,6check-ints-equalresult,0,"F - difference can be 0"}fnmainscreen:(addrscreen){}