Up
Module type
Field.T
module type
T
=
sig
..
end
A field.
include
Ring.T
val
inv
:
t -> t
Inverse.