Group_map (group_map.Group

module Field_intf : sig ... end

module Intf (F : sig ... end) : sig ... end

module type S = sig ... end

module Bw19 : S with module Spec = Bw19.Spec

module Spec : sig ... end

include S with module Spec := Spec

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