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