Checked (snarky_group_map.Snarky_group

val wrap : 
  'f Snarky_backendless.Snark.m ->
  potential_xs:
    ( 'input ->
      'f Snarky_backendless.Cvar.t
      * 'f Snarky_backendless.Cvar.t
      * 'f Snarky_backendless.Cvar.t ) ->
  y_squared:( x:'f Snarky_backendless.Cvar.t -> 'f Snarky_backendless.Cvar.t ) ->
  ( 'input ->
    'f Snarky_backendless.Cvar.t * 'f Snarky_backendless.Cvar.t )
    Core_kernel.Staged.t

val to_group : 
  (module Snarky_backendless.Snark_intf.Run with type field = 'f) ->
  params:'f Params.t ->
  'f Snarky_backendless.Cvar.t ->
  'f Snarky_backendless.Cvar.t * 'f Snarky_backendless.Cvar.t