Module 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