S (group_map.Group

module Spec : sig ... end

module Params : sig ... end

module Make
  (Constant : Field_intf.S)
  (F : sig ... end)
  (Params : sig ... end) : 
  sig ... end

val to_group : 
  (module Field_intf.S_unchecked with type t = 'f) ->
  params:'f Params.t ->
  'f ->
  'f * 'f