OrderedField
OrderedField<
T> =Field<T> &object
Defined in: evidence.ts:52
Ordered field evidence for T — a field whose total order is compatible with
its ring operations.
Type Declaration
Section titled “Type Declaration”abs(
a):T
Parameters
Section titled “Parameters”T
Returns
Section titled “Returns”T
cmp(
a,b):Sign
Parameters
Section titled “Parameters”T
T
Returns
Section titled “Returns”sign()
Section titled “sign()”sign(
a):Sign
Parameters
Section titled “Parameters”T
Returns
Section titled “Returns”Type Parameters
Section titled “Type Parameters”T
The carrier set of the field.