Field
Field<
T> =Ring<T> &object
Defined in: evidence.ts:41
Field evidence for T — a commutative ring in which every non-zero element
is invertible.
Type Declaration
Section titled “Type Declaration”div(
a,b):T
Parameters
Section titled “Parameters”T
T
Returns
Section titled “Returns”T
inv(
a):T
Parameters
Section titled “Parameters”T
Returns
Section titled “Returns”T
Type Parameters
Section titled “Type Parameters”T
The carrier set of the field.