val iter :
'a t ->
sent:
( ( [< `Read | `Set_and_create ], 'b t, 'b ) Fieldslib.Field.t_with_perm ->
'a t ->
'c ->
'd ) ->
received:
( ( [< `Read | `Set_and_create ], 'e t, 'e ) Fieldslib.Field.t_with_perm ->
'a t ->
'f ->
'g ) ->
'hval fold :
'a t ->
init:'b ->
sent:
( 'c ->
( [< `Read | `Set_and_create ], 'd t, 'd ) Fieldslib.Field.t_with_perm ->
'a t ->
'e ->
'f ) ->
received:
( 'g ->
( [< `Read | `Set_and_create ], 'h t, 'h ) Fieldslib.Field.t_with_perm ->
'a t ->
'i ->
'j ) ->
'kval for_all :
'a t ->
sent:
( ( [< `Read | `Set_and_create ], 'b t, 'b ) Fieldslib.Field.t_with_perm ->
'a t ->
'c ->
bool ) ->
received:
( ( [< `Read | `Set_and_create ], 'd t, 'd ) Fieldslib.Field.t_with_perm ->
'a t ->
'e ->
bool ) ->
boolval exists :
'a t ->
sent:
( ( [< `Read | `Set_and_create ], 'b t, 'b ) Fieldslib.Field.t_with_perm ->
'a t ->
'c ->
bool ) ->
received:
( ( [< `Read | `Set_and_create ], 'd t, 'd ) Fieldslib.Field.t_with_perm ->
'a t ->
'e ->
bool ) ->
boolval to_list :
'a t ->
sent:
( ( [< `Read | `Set_and_create ], 'b t, 'b ) Fieldslib.Field.t_with_perm ->
'a t ->
'c ->
'd ) ->
received:
( ( [< `Read | `Set_and_create ], 'e t, 'e ) Fieldslib.Field.t_with_perm ->
'a t ->
'f ->
'g ) ->
'h listval map :
'a t ->
sent:
( ( [< `Read | `Set_and_create ], 'b t, 'b ) Fieldslib.Field.t_with_perm ->
'a t ->
'c ->
'd ) ->
received:
( ( [< `Read | `Set_and_create ], 'e t, 'e ) Fieldslib.Field.t_with_perm ->
'a t ->
'f ->
'g ) ->
'h tval set_all_mutable_fields : 'a -> unit