Operator ( - ) static member ( - ): Rat * Rat -> Rat Declaration static member ( - ): a:Rat * b:Rat -> Rat Parameters Type Name Description Rat a Rat b Returns Type Description Rat