Method isPosInf

static member isPosInf: Rat -> bool

True if a is positive infinity.

Declaration

static member isPosInf: a:Rat -> bool

Parameters

Type	Name	Description
Rat	a

Returns

Type	Description
bool