Snarky_group_map (snarky_group_map.Snarky_group

module Params : sig ... end

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

module Checked : sig ... end