Module Jenga_lib.Db.Rule_proxy.Fields.Direct

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) ‑> unit

val 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__3

val 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) ‑> bool

val 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) ‑> bool

val 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__ list

val 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) ‑> t

val set_all_mutable_fields : t ‑> unit