module Ring: functor (F : T) -> sig .. end
functor (
F
:
T
) ->
sig
end
Underlying ring of a field.
include F