Method ( |RatFrac|RatInt|RatPosInf|RatNegInf|RatNaN| )

val ( |RatFrac|RatInt|RatPosInf|RatNegInf|RatNaN| ): Rat

RatFrac(num,dnm) matches a true (finite) fraction and RatInteger(value) matches an integer rational number.

Declaration

val ( |RatFrac|RatInt|RatPosInf|RatNegInf|RatNaN| ): a:Rat ->
    | RatFrac of bigint * bigint
    | RatInt of bigint
    | RatPosInf
    | RatNegInf
    | RatNaN

Parameters

Type	Name	Description
Rat	a

Returns

Type	Description
Choice<bigint * bigint,bigint,unit,unit,unit>