val authorization :
( [< `Read | `Set_and_create ], t, Control.Stable.V2.t )
Fieldslib.Field.t_with_perm
val iter :
body:
( ( [< `Read | `Set_and_create ], t, Body.Simple.Stable.V1.t )
Fieldslib.Field.t_with_perm ->
unit ) ->
authorization:
( ( [< `Read | `Set_and_create ], t, Control.Stable.V2.t )
Fieldslib.Field.t_with_perm ->
unit ) ->
unit
val fold :
init:'a ->
body:
( 'b ->
( [< `Read | `Set_and_create ], t, Body.Simple.Stable.V1.t )
Fieldslib.Field.t_with_perm ->
'c ) ->
authorization:
( 'd ->
( [< `Read | `Set_and_create ], t, Control.Stable.V2.t )
Fieldslib.Field.t_with_perm ->
'e ) ->
'f
val map_poly :
( [< `Read | `Set_and_create ], t, 'a ) Fieldslib.Field.user ->
'b list
val for_all :
body:
( ( [< `Read | `Set_and_create ], t, Body.Simple.Stable.V1.t )
Fieldslib.Field.t_with_perm ->
bool ) ->
authorization:
( ( [< `Read | `Set_and_create ], t, Control.Stable.V2.t )
Fieldslib.Field.t_with_perm ->
bool ) ->
bool
val exists :
body:
( ( [< `Read | `Set_and_create ], t, Body.Simple.Stable.V1.t )
Fieldslib.Field.t_with_perm ->
bool ) ->
authorization:
( ( [< `Read | `Set_and_create ], t, Control.Stable.V2.t )
Fieldslib.Field.t_with_perm ->
bool ) ->
bool
val to_list :
body:
( ( [< `Read | `Set_and_create ], t, Body.Simple.Stable.V1.t )
Fieldslib.Field.t_with_perm ->
'a ) ->
authorization:
( ( [< `Read | `Set_and_create ], t, Control.Stable.V2.t )
Fieldslib.Field.t_with_perm ->
'b ) ->
'c list