val iter :
t ->
targets:((t, Proxy_map.t) Fieldslib.Field.t -> t -> Proxy_map.t -> unit) ->
deps:((t, Proxy_map.t) Fieldslib.Field.t -> t -> Proxy_map.t -> unit) ->
action:((t, Action_proxy.t) Fieldslib.Field.t -> t -> Action_proxy.t -> unit) ->
unitval fold :
t ->
init:'acc__0 ->
targets:
('acc__0 ->
(t, Proxy_map.t) Fieldslib.Field.t ->
t ->
Proxy_map.t ->
'acc__1) ->
deps:
('acc__1 ->
(t, Proxy_map.t) Fieldslib.Field.t ->
t ->
Proxy_map.t ->
'acc__2) ->
action:
('acc__2 ->
(t, Action_proxy.t) Fieldslib.Field.t ->
t ->
Action_proxy.t ->
'acc__3) ->
'acc__3val for_all :
t ->
targets:((t, Proxy_map.t) Fieldslib.Field.t -> t -> Proxy_map.t -> bool) ->
deps:((t, Proxy_map.t) Fieldslib.Field.t -> t -> Proxy_map.t -> bool) ->
action:((t, Action_proxy.t) Fieldslib.Field.t -> t -> Action_proxy.t -> bool) ->
boolval exists :
t ->
targets:((t, Proxy_map.t) Fieldslib.Field.t -> t -> Proxy_map.t -> bool) ->
deps:((t, Proxy_map.t) Fieldslib.Field.t -> t -> Proxy_map.t -> bool) ->
action:((t, Action_proxy.t) Fieldslib.Field.t -> t -> Action_proxy.t -> bool) ->
boolval to_list :
t ->
targets:((t, Proxy_map.t) Fieldslib.Field.t -> t -> Proxy_map.t -> 'elem__) ->
deps:((t, Proxy_map.t) Fieldslib.Field.t -> t -> Proxy_map.t -> 'elem__) ->
action:
((t, Action_proxy.t) Fieldslib.Field.t -> t -> Action_proxy.t -> 'elem__) ->
'elem__ listval map :
t ->
targets:
((t, Proxy_map.t) Fieldslib.Field.t -> t -> Proxy_map.t -> Proxy_map.t) ->
deps:((t, Proxy_map.t) Fieldslib.Field.t -> t -> Proxy_map.t -> Proxy_map.t) ->
action:
((t, Action_proxy.t) Fieldslib.Field.t ->
t ->
Action_proxy.t ->
Action_proxy.t) ->
tval set_all_mutable_fields : t -> unit