1signature ratReduce = 2sig 3 4 include Abbrev 5 val RAT_ADD_CONV : conv 6 val RAT_MUL_CONV : conv 7 8end 9