Direct (pickles_base.Pickles_base.Domains.Fields.Direct)

val iter : 
  t ->
  h:
    ( ( t, Domain.Stable.V1.t ) Fieldslib.Field.t ->
      t ->
      Domain.Stable.V1.t ->
      unit ) ->
  unit

val fold : 
  t ->
  init:'acc__0 ->
  h:
    ( 'acc__0 ->
      ( t, Domain.Stable.V1.t ) Fieldslib.Field.t ->
      t ->
      Domain.Stable.V1.t ->
      'acc__1 ) ->
  'acc__1

val for_all : 
  t ->
  h:
    ( ( t, Domain.Stable.V1.t ) Fieldslib.Field.t ->
      t ->
      Domain.Stable.V1.t ->
      bool ) ->
  bool

val exists : 
  t ->
  h:
    ( ( t, Domain.Stable.V1.t ) Fieldslib.Field.t ->
      t ->
      Domain.Stable.V1.t ->
      bool ) ->
  bool

val to_list : 
  t ->
  h:
    ( ( t, Domain.Stable.V1.t ) Fieldslib.Field.t ->
      t ->
      Domain.Stable.V1.t ->
      'elem__ ) ->
  'elem__ list

val map : 
  t ->
  h:
    ( ( t, Domain.Stable.V1.t ) Fieldslib.Field.t ->
      t ->
      Domain.Stable.V1.t ->
      Domain.Stable.V1.t ) ->
  t

val set_all_mutable_fields : t -> unit