Method isNegInf

static member isNegInf: Rat -> bool

True if a is negative infinity.

Declaration

static member isNegInf: a:Rat -> bool

Parameters

Type	Name	Description
Rat	a

Returns

Type	Description
bool