Fields (mina_base.Mina_base.Stack

val names : string list

val calls : 
  ( [< `Read | `Set_and_create ], ( 'a, 'zkapp_command ) t, 'zkapp_command0 )
    Fieldslib.Field.t_with_perm

val caller_caller : 
  ( [< `Read | `Set_and_create ], ( 'caller, 'a ) t, 'caller0 )
    Fieldslib.Field.t_with_perm

val caller : 
  ( [< `Read | `Set_and_create ], ( 'caller, 'a ) t, 'caller0 )
    Fieldslib.Field.t_with_perm

val make_creator : 
  caller:
    ( ( [< `Read | `Set_and_create ], ( 'a, 'b ) t, 'a )
        Fieldslib.Field.t_with_perm ->
      'c ->
      ( 'd -> 'e ) * 'f ) ->
  caller_caller:
    ( ( [< `Read | `Set_and_create ], ( 'g, 'h ) t, 'g )
        Fieldslib.Field.t_with_perm ->
      'i ->
      ( 'j -> 'k ) * 'l ) ->
  calls:
    ( ( [< `Read | `Set_and_create ], ( 'm, 'n ) t, 'n )
        Fieldslib.Field.t_with_perm ->
      'o ->
      ( 'p -> 'q ) * 'r ) ->
  's ->
  ( 't -> ( 'u, 'v ) t ) * 'w

val create : caller:'a -> caller_caller:'b -> calls:'c -> ( 'd, 'e ) t

val map : 
  caller:
    ( ( [< `Read | `Set_and_create ], ( 'a, 'b ) t, 'a )
        Fieldslib.Field.t_with_perm ->
      'c ) ->
  caller_caller:
    ( ( [< `Read | `Set_and_create ], ( 'd, 'e ) t, 'd )
        Fieldslib.Field.t_with_perm ->
      'f ) ->
  calls:
    ( ( [< `Read | `Set_and_create ], ( 'g, 'h ) t, 'h )
        Fieldslib.Field.t_with_perm ->
      'i ) ->
  ( 'j, 'k ) t

val iter : 
  caller:
    ( ( [< `Read | `Set_and_create ], ( 'a, 'b ) t, 'a )
        Fieldslib.Field.t_with_perm ->
      unit ) ->
  caller_caller:
    ( ( [< `Read | `Set_and_create ], ( 'c, 'd ) t, 'c )
        Fieldslib.Field.t_with_perm ->
      unit ) ->
  calls:
    ( ( [< `Read | `Set_and_create ], ( 'e, 'f ) t, 'f )
        Fieldslib.Field.t_with_perm ->
      unit ) ->
  unit

val fold : 
  init:'a ->
  caller:
    ( 'b ->
      ( [< `Read | `Set_and_create ], ( 'c, 'd ) t, 'c )
        Fieldslib.Field.t_with_perm ->
      'e ) ->
  caller_caller:
    ( 'f ->
      ( [< `Read | `Set_and_create ], ( 'g, 'h ) t, 'g )
        Fieldslib.Field.t_with_perm ->
      'i ) ->
  calls:
    ( 'j ->
      ( [< `Read | `Set_and_create ], ( 'k, 'l ) t, 'l )
        Fieldslib.Field.t_with_perm ->
      'm ) ->
  'n

val map_poly : 
  ( [< `Read | `Set_and_create ], ( 'a, 'b ) t, 'c ) Fieldslib.Field.user ->
  'd list

val for_all : 
  caller:
    ( ( [< `Read | `Set_and_create ], ( 'a, 'b ) t, 'a )
        Fieldslib.Field.t_with_perm ->
      bool ) ->
  caller_caller:
    ( ( [< `Read | `Set_and_create ], ( 'c, 'd ) t, 'c )
        Fieldslib.Field.t_with_perm ->
      bool ) ->
  calls:
    ( ( [< `Read | `Set_and_create ], ( 'e, 'f ) t, 'f )
        Fieldslib.Field.t_with_perm ->
      bool ) ->
  bool

val exists : 
  caller:
    ( ( [< `Read | `Set_and_create ], ( 'a, 'b ) t, 'a )
        Fieldslib.Field.t_with_perm ->
      bool ) ->
  caller_caller:
    ( ( [< `Read | `Set_and_create ], ( 'c, 'd ) t, 'c )
        Fieldslib.Field.t_with_perm ->
      bool ) ->
  calls:
    ( ( [< `Read | `Set_and_create ], ( 'e, 'f ) t, 'f )
        Fieldslib.Field.t_with_perm ->
      bool ) ->
  bool

val to_list : 
  caller:
    ( ( [< `Read | `Set_and_create ], ( 'a, 'b ) t, 'a )
        Fieldslib.Field.t_with_perm ->
      'c ) ->
  caller_caller:
    ( ( [< `Read | `Set_and_create ], ( 'd, 'e ) t, 'd )
        Fieldslib.Field.t_with_perm ->
      'f ) ->
  calls:
    ( ( [< `Read | `Set_and_create ], ( 'g, 'h ) t, 'h )
        Fieldslib.Field.t_with_perm ->
      'i ) ->
  'j list

module Direct : sig ... end