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