Direct (pickles.Pickles.Impls.Step.Keypair.Fields.Direct)

val iter : 
  t ->
  pk:( ( t, Proving_key.t ) Fieldslib.Field.t -> t -> Proving_key.t -> unit ) ->
  vk:
    ( ( t, Verification_key.t ) Fieldslib.Field.t ->
      t ->
      Verification_key.t ->
      unit ) ->
  unit

val fold : 
  t ->
  init:'acc__0 ->
  pk:
    ( 'acc__0 ->
      ( t, Proving_key.t ) Fieldslib.Field.t ->
      t ->
      Proving_key.t ->
      'acc__1 ) ->
  vk:
    ( 'acc__1 ->
      ( t, Verification_key.t ) Fieldslib.Field.t ->
      t ->
      Verification_key.t ->
      'acc__2 ) ->
  'acc__2

val for_all : 
  t ->
  pk:( ( t, Proving_key.t ) Fieldslib.Field.t -> t -> Proving_key.t -> bool ) ->
  vk:
    ( ( t, Verification_key.t ) Fieldslib.Field.t ->
      t ->
      Verification_key.t ->
      bool ) ->
  bool

val exists : 
  t ->
  pk:( ( t, Proving_key.t ) Fieldslib.Field.t -> t -> Proving_key.t -> bool ) ->
  vk:
    ( ( t, Verification_key.t ) Fieldslib.Field.t ->
      t ->
      Verification_key.t ->
      bool ) ->
  bool

val to_list : 
  t ->
  pk:
    ( ( t, Proving_key.t ) Fieldslib.Field.t -> t -> Proving_key.t -> 'elem__ ) ->
  vk:
    ( ( t, Verification_key.t ) Fieldslib.Field.t ->
      t ->
      Verification_key.t ->
      'elem__ ) ->
  'elem__ list

val map : 
  t ->
  pk:
    ( ( t, Proving_key.t ) Fieldslib.Field.t ->
      t ->
      Proving_key.t ->
      Proving_key.t ) ->
  vk:
    ( ( t, Verification_key.t ) Fieldslib.Field.t ->
      t ->
      Verification_key.t ->
      Verification_key.t ) ->
  t

val set_all_mutable_fields : t -> unit