--> type rid(integer /*r*/) return true end type procedure use(rid fi, integer a,b)...