Method ( |Rat| )

val ( |Rat| ): Rat -> bigint * bigint

decomposes a rational into its numerator and denominator

Declaration

val ( |Rat| ): a:Rat -> bigint * bigint

Parameters

Type	Name	Description
Rat	a

Returns

Type	Description
bigint * bigint