val iter :
'a t ->
id:
(('a t, 'a Core_kernel.Type_equal.Id.t) Fieldslib.Field.t ->
'a t ->
'a Core_kernel.Type_equal.Id.t ->
unit) ->
of_value_exn:(('a t, t -> 'a) Fieldslib.Field.t -> 'a t -> (t -> 'a) -> unit) ->
to_value:(('a t, 'a -> t) Fieldslib.Field.t -> 'a t -> ('a -> t) -> unit) ->
unitval fold :
'a t ->
init:'acc__0 ->
id:
('acc__0 ->
('a t, 'a Core_kernel.Type_equal.Id.t) Fieldslib.Field.t ->
'a t ->
'a Core_kernel.Type_equal.Id.t ->
'acc__1) ->
of_value_exn:
('acc__1 ->
('a t, t -> 'a) Fieldslib.Field.t ->
'a t ->
(t -> 'a) ->
'acc__2) ->
to_value:
('acc__2 ->
('a t, 'a -> t) Fieldslib.Field.t ->
'a t ->
('a -> t) ->
'acc__3) ->
'acc__3val for_all :
'a t ->
id:
(('a t, 'a Core_kernel.Type_equal.Id.t) Fieldslib.Field.t ->
'a t ->
'a Core_kernel.Type_equal.Id.t ->
bool) ->
of_value_exn:(('a t, t -> 'a) Fieldslib.Field.t -> 'a t -> (t -> 'a) -> bool) ->
to_value:(('a t, 'a -> t) Fieldslib.Field.t -> 'a t -> ('a -> t) -> bool) ->
boolval exists :
'a t ->
id:
(('a t, 'a Core_kernel.Type_equal.Id.t) Fieldslib.Field.t ->
'a t ->
'a Core_kernel.Type_equal.Id.t ->
bool) ->
of_value_exn:(('a t, t -> 'a) Fieldslib.Field.t -> 'a t -> (t -> 'a) -> bool) ->
to_value:(('a t, 'a -> t) Fieldslib.Field.t -> 'a t -> ('a -> t) -> bool) ->
boolval to_list :
'a t ->
id:
(('a t, 'a Core_kernel.Type_equal.Id.t) Fieldslib.Field.t ->
'a t ->
'a Core_kernel.Type_equal.Id.t ->
'elem__) ->
of_value_exn:
(('a t, t -> 'a) Fieldslib.Field.t -> 'a t -> (t -> 'a) -> 'elem__) ->
to_value:(('a t, 'a -> t) Fieldslib.Field.t -> 'a t -> ('a -> t) -> 'elem__) ->
'elem__ listval map :
'a t ->
id:
(('a t, 'a Core_kernel.Type_equal.Id.t) Fieldslib.Field.t ->
'a t ->
'a Core_kernel.Type_equal.Id.t ->
'a Core_kernel.Type_equal.Id.t) ->
of_value_exn:
(('a t, t -> 'a) Fieldslib.Field.t -> 'a t -> (t -> 'a) -> t -> 'a) ->
to_value:(('a t, 'a -> t) Fieldslib.Field.t -> 'a t -> ('a -> t) -> 'a -> t) ->
'a tval set_all_mutable_fields : 'a t -> unit