Direct (pickles.Pickles.Tag.Fields.Direct)

val iter : 
  ( 'var, 'value, 'n1, 'n2 ) t ->
  kind:
    ( ( ( 'var, 'value, 'n1, 'n2 ) t, kind ) Fieldslib.Field.readonly_t ->
      ( 'var, 'value, 'n1, 'n2 ) t ->
      kind ->
      unit ) ->
  id:
    ( ( ( 'var, 'value, 'n1, 'n2 ) t, ( 'var, 'value, 'n1, 'n2 ) id )
        Fieldslib.Field.readonly_t ->
      ( 'var, 'value, 'n1, 'n2 ) t ->
      ( 'var, 'value, 'n1, 'n2 ) id ->
      unit ) ->
  unit

val fold : 
  ( 'var, 'value, 'n1, 'n2 ) t ->
  init:'acc__0 ->
  kind:
    ( 'acc__0 ->
      ( ( 'var, 'value, 'n1, 'n2 ) t, kind ) Fieldslib.Field.readonly_t ->
      ( 'var, 'value, 'n1, 'n2 ) t ->
      kind ->
      'acc__1 ) ->
  id:
    ( 'acc__1 ->
      ( ( 'var, 'value, 'n1, 'n2 ) t, ( 'var, 'value, 'n1, 'n2 ) id )
        Fieldslib.Field.readonly_t ->
      ( 'var, 'value, 'n1, 'n2 ) t ->
      ( 'var, 'value, 'n1, 'n2 ) id ->
      'acc__2 ) ->
  'acc__2

val for_all : 
  ( 'var, 'value, 'n1, 'n2 ) t ->
  kind:
    ( ( ( 'var, 'value, 'n1, 'n2 ) t, kind ) Fieldslib.Field.readonly_t ->
      ( 'var, 'value, 'n1, 'n2 ) t ->
      kind ->
      bool ) ->
  id:
    ( ( ( 'var, 'value, 'n1, 'n2 ) t, ( 'var, 'value, 'n1, 'n2 ) id )
        Fieldslib.Field.readonly_t ->
      ( 'var, 'value, 'n1, 'n2 ) t ->
      ( 'var, 'value, 'n1, 'n2 ) id ->
      bool ) ->
  bool

val exists : 
  ( 'var, 'value, 'n1, 'n2 ) t ->
  kind:
    ( ( ( 'var, 'value, 'n1, 'n2 ) t, kind ) Fieldslib.Field.readonly_t ->
      ( 'var, 'value, 'n1, 'n2 ) t ->
      kind ->
      bool ) ->
  id:
    ( ( ( 'var, 'value, 'n1, 'n2 ) t, ( 'var, 'value, 'n1, 'n2 ) id )
        Fieldslib.Field.readonly_t ->
      ( 'var, 'value, 'n1, 'n2 ) t ->
      ( 'var, 'value, 'n1, 'n2 ) id ->
      bool ) ->
  bool

val to_list : 
  ( 'var, 'value, 'n1, 'n2 ) t ->
  kind:
    ( ( ( 'var, 'value, 'n1, 'n2 ) t, kind ) Fieldslib.Field.readonly_t ->
      ( 'var, 'value, 'n1, 'n2 ) t ->
      kind ->
      'elem__ ) ->
  id:
    ( ( ( 'var, 'value, 'n1, 'n2 ) t, ( 'var, 'value, 'n1, 'n2 ) id )
        Fieldslib.Field.readonly_t ->
      ( 'var, 'value, 'n1, 'n2 ) t ->
      ( 'var, 'value, 'n1, 'n2 ) id ->
      'elem__ ) ->
  'elem__ list