val iter :
'a t ->
xt:
( ( [< `Read | `Set_and_create ], 'b t, 'b ) Fieldslib.Field.t_with_perm ->
'a t ->
'c ->
'd ) ->
yt:
( ( [< `Read | `Set_and_create ], 'e t, 'e ) Fieldslib.Field.t_with_perm ->
'a t ->
'f ->
'g ) ->
xp:
( ( [< `Read | `Set_and_create ], 'h t, 'h ) Fieldslib.Field.t_with_perm ->
'a t ->
'i ->
'j ) ->
yp:
( ( [< `Read | `Set_and_create ], 'k t, 'k ) Fieldslib.Field.t_with_perm ->
'a t ->
'l ->
'm ) ->
n_acc:
( ( [< `Read | `Set_and_create ], 'n t, 'n ) Fieldslib.Field.t_with_perm ->
'a t ->
'o ->
'p ) ->
xr:
( ( [< `Read | `Set_and_create ], 'q t, 'q ) Fieldslib.Field.t_with_perm ->
'a t ->
'r ->
's ) ->
yr:
( ( [< `Read | `Set_and_create ], 't t, 't ) Fieldslib.Field.t_with_perm ->
'a t ->
'u ->
'v ) ->
s1:
( ( [< `Read | `Set_and_create ], 'w t, 'w ) Fieldslib.Field.t_with_perm ->
'a t ->
'x ->
'y ) ->
s3:
( ( [< `Read | `Set_and_create ], 'z t, 'z ) Fieldslib.Field.t_with_perm ->
'a t ->
'a1 ->
'b1 ) ->
b1:
( ( [< `Read | `Set_and_create ], 'c1 t, 'c1 ) Fieldslib.Field.t_with_perm ->
'a t ->
'd1 ->
'e1 ) ->
b2:
( ( [< `Read | `Set_and_create ], 'f1 t, 'f1 ) Fieldslib.Field.t_with_perm ->
'a t ->
'g1 ->
'h1 ) ->
b3:
( ( [< `Read | `Set_and_create ], 'i1 t, 'i1 ) Fieldslib.Field.t_with_perm ->
'a t ->
'j1 ->
'k1 ) ->
b4:
( ( [< `Read | `Set_and_create ], 'l1 t, 'l1 ) Fieldslib.Field.t_with_perm ->
'a t ->
'm1 ->
'n1 ) ->
'o1val fold :
'a t ->
init:'b ->
xt:
( 'c ->
( [< `Read | `Set_and_create ], 'd t, 'd ) Fieldslib.Field.t_with_perm ->
'a t ->
'e ->
'f ) ->
yt:
( 'g ->
( [< `Read | `Set_and_create ], 'h t, 'h ) Fieldslib.Field.t_with_perm ->
'a t ->
'i ->
'j ) ->
xp:
( 'k ->
( [< `Read | `Set_and_create ], 'l t, 'l ) Fieldslib.Field.t_with_perm ->
'a t ->
'm ->
'n ) ->
yp:
( 'o ->
( [< `Read | `Set_and_create ], 'p t, 'p ) Fieldslib.Field.t_with_perm ->
'a t ->
'q ->
'r ) ->
n_acc:
( 's ->
( [< `Read | `Set_and_create ], 't t, 't ) Fieldslib.Field.t_with_perm ->
'a t ->
'u ->
'v ) ->
xr:
( 'w ->
( [< `Read | `Set_and_create ], 'x t, 'x ) Fieldslib.Field.t_with_perm ->
'a t ->
'y ->
'z ) ->
yr:
( 'a1 ->
( [< `Read | `Set_and_create ], 'b1 t, 'b1 ) Fieldslib.Field.t_with_perm ->
'a t ->
'c1 ->
'd1 ) ->
s1:
( 'e1 ->
( [< `Read | `Set_and_create ], 'f1 t, 'f1 ) Fieldslib.Field.t_with_perm ->
'a t ->
'g1 ->
'h1 ) ->
s3:
( 'i1 ->
( [< `Read | `Set_and_create ], 'j1 t, 'j1 ) Fieldslib.Field.t_with_perm ->
'a t ->
'k1 ->
'l1 ) ->
b1:
( 'm1 ->
( [< `Read | `Set_and_create ], 'n1 t, 'n1 ) Fieldslib.Field.t_with_perm ->
'a t ->
'o1 ->
'p1 ) ->
b2:
( 'q1 ->
( [< `Read | `Set_and_create ], 'r1 t, 'r1 ) Fieldslib.Field.t_with_perm ->
'a t ->
's1 ->
't1 ) ->
b3:
( 'u1 ->
( [< `Read | `Set_and_create ], 'v1 t, 'v1 ) Fieldslib.Field.t_with_perm ->
'a t ->
'w1 ->
'x1 ) ->
b4:
( 'y1 ->
( [< `Read | `Set_and_create ], 'z1 t, 'z1 ) Fieldslib.Field.t_with_perm ->
'a t ->
'a2 ->
'b2 ) ->
'c2val for_all :
'a t ->
xt:
( ( [< `Read | `Set_and_create ], 'b t, 'b ) Fieldslib.Field.t_with_perm ->
'a t ->
'c ->
bool ) ->
yt:
( ( [< `Read | `Set_and_create ], 'd t, 'd ) Fieldslib.Field.t_with_perm ->
'a t ->
'e ->
bool ) ->
xp:
( ( [< `Read | `Set_and_create ], 'f t, 'f ) Fieldslib.Field.t_with_perm ->
'a t ->
'g ->
bool ) ->
yp:
( ( [< `Read | `Set_and_create ], 'h t, 'h ) Fieldslib.Field.t_with_perm ->
'a t ->
'i ->
bool ) ->
n_acc:
( ( [< `Read | `Set_and_create ], 'j t, 'j ) Fieldslib.Field.t_with_perm ->
'a t ->
'k ->
bool ) ->
xr:
( ( [< `Read | `Set_and_create ], 'l t, 'l ) Fieldslib.Field.t_with_perm ->
'a t ->
'm ->
bool ) ->
yr:
( ( [< `Read | `Set_and_create ], 'n t, 'n ) Fieldslib.Field.t_with_perm ->
'a t ->
'o ->
bool ) ->
s1:
( ( [< `Read | `Set_and_create ], 'p t, 'p ) Fieldslib.Field.t_with_perm ->
'a t ->
'q ->
bool ) ->
s3:
( ( [< `Read | `Set_and_create ], 'r t, 'r ) Fieldslib.Field.t_with_perm ->
'a t ->
's ->
bool ) ->
b1:
( ( [< `Read | `Set_and_create ], 't t, 't ) Fieldslib.Field.t_with_perm ->
'a t ->
'u ->
bool ) ->
b2:
( ( [< `Read | `Set_and_create ], 'v t, 'v ) Fieldslib.Field.t_with_perm ->
'a t ->
'w ->
bool ) ->
b3:
( ( [< `Read | `Set_and_create ], 'x t, 'x ) Fieldslib.Field.t_with_perm ->
'a t ->
'y ->
bool ) ->
b4:
( ( [< `Read | `Set_and_create ], 'z t, 'z ) Fieldslib.Field.t_with_perm ->
'a t ->
'a1 ->
bool ) ->
boolval exists :
'a t ->
xt:
( ( [< `Read | `Set_and_create ], 'b t, 'b ) Fieldslib.Field.t_with_perm ->
'a t ->
'c ->
bool ) ->
yt:
( ( [< `Read | `Set_and_create ], 'd t, 'd ) Fieldslib.Field.t_with_perm ->
'a t ->
'e ->
bool ) ->
xp:
( ( [< `Read | `Set_and_create ], 'f t, 'f ) Fieldslib.Field.t_with_perm ->
'a t ->
'g ->
bool ) ->
yp:
( ( [< `Read | `Set_and_create ], 'h t, 'h ) Fieldslib.Field.t_with_perm ->
'a t ->
'i ->
bool ) ->
n_acc:
( ( [< `Read | `Set_and_create ], 'j t, 'j ) Fieldslib.Field.t_with_perm ->
'a t ->
'k ->
bool ) ->
xr:
( ( [< `Read | `Set_and_create ], 'l t, 'l ) Fieldslib.Field.t_with_perm ->
'a t ->
'm ->
bool ) ->
yr:
( ( [< `Read | `Set_and_create ], 'n t, 'n ) Fieldslib.Field.t_with_perm ->
'a t ->
'o ->
bool ) ->
s1:
( ( [< `Read | `Set_and_create ], 'p t, 'p ) Fieldslib.Field.t_with_perm ->
'a t ->
'q ->
bool ) ->
s3:
( ( [< `Read | `Set_and_create ], 'r t, 'r ) Fieldslib.Field.t_with_perm ->
'a t ->
's ->
bool ) ->
b1:
( ( [< `Read | `Set_and_create ], 't t, 't ) Fieldslib.Field.t_with_perm ->
'a t ->
'u ->
bool ) ->
b2:
( ( [< `Read | `Set_and_create ], 'v t, 'v ) Fieldslib.Field.t_with_perm ->
'a t ->
'w ->
bool ) ->
b3:
( ( [< `Read | `Set_and_create ], 'x t, 'x ) Fieldslib.Field.t_with_perm ->
'a t ->
'y ->
bool ) ->
b4:
( ( [< `Read | `Set_and_create ], 'z t, 'z ) Fieldslib.Field.t_with_perm ->
'a t ->
'a1 ->
bool ) ->
boolval to_list :
'a t ->
xt:
( ( [< `Read | `Set_and_create ], 'b t, 'b ) Fieldslib.Field.t_with_perm ->
'a t ->
'c ->
'd ) ->
yt:
( ( [< `Read | `Set_and_create ], 'e t, 'e ) Fieldslib.Field.t_with_perm ->
'a t ->
'f ->
'g ) ->
xp:
( ( [< `Read | `Set_and_create ], 'h t, 'h ) Fieldslib.Field.t_with_perm ->
'a t ->
'i ->
'j ) ->
yp:
( ( [< `Read | `Set_and_create ], 'k t, 'k ) Fieldslib.Field.t_with_perm ->
'a t ->
'l ->
'm ) ->
n_acc:
( ( [< `Read | `Set_and_create ], 'n t, 'n ) Fieldslib.Field.t_with_perm ->
'a t ->
'o ->
'p ) ->
xr:
( ( [< `Read | `Set_and_create ], 'q t, 'q ) Fieldslib.Field.t_with_perm ->
'a t ->
'r ->
's ) ->
yr:
( ( [< `Read | `Set_and_create ], 't t, 't ) Fieldslib.Field.t_with_perm ->
'a t ->
'u ->
'v ) ->
s1:
( ( [< `Read | `Set_and_create ], 'w t, 'w ) Fieldslib.Field.t_with_perm ->
'a t ->
'x ->
'y ) ->
s3:
( ( [< `Read | `Set_and_create ], 'z t, 'z ) Fieldslib.Field.t_with_perm ->
'a t ->
'a1 ->
'b1 ) ->
b1:
( ( [< `Read | `Set_and_create ], 'c1 t, 'c1 ) Fieldslib.Field.t_with_perm ->
'a t ->
'd1 ->
'e1 ) ->
b2:
( ( [< `Read | `Set_and_create ], 'f1 t, 'f1 ) Fieldslib.Field.t_with_perm ->
'a t ->
'g1 ->
'h1 ) ->
b3:
( ( [< `Read | `Set_and_create ], 'i1 t, 'i1 ) Fieldslib.Field.t_with_perm ->
'a t ->
'j1 ->
'k1 ) ->
b4:
( ( [< `Read | `Set_and_create ], 'l1 t, 'l1 ) Fieldslib.Field.t_with_perm ->
'a t ->
'm1 ->
'n1 ) ->
'o1 listval map :
'a t ->
xt:
( ( [< `Read | `Set_and_create ], 'b t, 'b ) Fieldslib.Field.t_with_perm ->
'a t ->
'c ->
'd ) ->
yt:
( ( [< `Read | `Set_and_create ], 'e t, 'e ) Fieldslib.Field.t_with_perm ->
'a t ->
'f ->
'g ) ->
xp:
( ( [< `Read | `Set_and_create ], 'h t, 'h ) Fieldslib.Field.t_with_perm ->
'a t ->
'i ->
'j ) ->
yp:
( ( [< `Read | `Set_and_create ], 'k t, 'k ) Fieldslib.Field.t_with_perm ->
'a t ->
'l ->
'm ) ->
n_acc:
( ( [< `Read | `Set_and_create ], 'n t, 'n ) Fieldslib.Field.t_with_perm ->
'a t ->
'o ->
'p ) ->
xr:
( ( [< `Read | `Set_and_create ], 'q t, 'q ) Fieldslib.Field.t_with_perm ->
'a t ->
'r ->
's ) ->
yr:
( ( [< `Read | `Set_and_create ], 't t, 't ) Fieldslib.Field.t_with_perm ->
'a t ->
'u ->
'v ) ->
s1:
( ( [< `Read | `Set_and_create ], 'w t, 'w ) Fieldslib.Field.t_with_perm ->
'a t ->
'x ->
'y ) ->
s3:
( ( [< `Read | `Set_and_create ], 'z t, 'z ) Fieldslib.Field.t_with_perm ->
'a t ->
'a1 ->
'b1 ) ->
b1:
( ( [< `Read | `Set_and_create ], 'c1 t, 'c1 ) Fieldslib.Field.t_with_perm ->
'a t ->
'd1 ->
'e1 ) ->
b2:
( ( [< `Read | `Set_and_create ], 'f1 t, 'f1 ) Fieldslib.Field.t_with_perm ->
'a t ->
'g1 ->
'h1 ) ->
b3:
( ( [< `Read | `Set_and_create ], 'i1 t, 'i1 ) Fieldslib.Field.t_with_perm ->
'a t ->
'j1 ->
'k1 ) ->
b4:
( ( [< `Read | `Set_and_create ], 'l1 t, 'l1 ) Fieldslib.Field.t_with_perm ->
'a t ->
'm1 ->
'n1 ) ->
'o1 tval set_all_mutable_fields : 'a -> unit