Direct (mina_base.Mina_base.Stack_frame.Stable.V1.Fields.Direct)

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

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

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

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

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

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

val set_all_mutable_fields : 'a -> unit