val iter :
t ->
public_key_id:
( ( [< `Read | `Set_and_create ], t, int ) Fieldslib.Field.t_with_perm ->
t ->
int ->
'a ) ->
token_id:
( ( [< `Read | `Set_and_create ], t, int ) Fieldslib.Field.t_with_perm ->
t ->
int ->
'b ) ->
'c
val fold :
t ->
init:'a ->
public_key_id:
( 'b ->
( [< `Read | `Set_and_create ], t, int ) Fieldslib.Field.t_with_perm ->
t ->
int ->
'c ) ->
token_id:
( 'd ->
( [< `Read | `Set_and_create ], t, int ) Fieldslib.Field.t_with_perm ->
t ->
int ->
'e ) ->
'f
val for_all :
t ->
public_key_id:
( ( [< `Read | `Set_and_create ], t, int ) Fieldslib.Field.t_with_perm ->
t ->
int ->
bool ) ->
token_id:
( ( [< `Read | `Set_and_create ], t, int ) Fieldslib.Field.t_with_perm ->
t ->
int ->
bool ) ->
bool
val exists :
t ->
public_key_id:
( ( [< `Read | `Set_and_create ], t, int ) Fieldslib.Field.t_with_perm ->
t ->
int ->
bool ) ->
token_id:
( ( [< `Read | `Set_and_create ], t, int ) Fieldslib.Field.t_with_perm ->
t ->
int ->
bool ) ->
bool
val to_list :
t ->
public_key_id:
( ( [< `Read | `Set_and_create ], t, int ) Fieldslib.Field.t_with_perm ->
t ->
int ->
'a ) ->
token_id:
( ( [< `Read | `Set_and_create ], t, int ) Fieldslib.Field.t_with_perm ->
t ->
int ->
'b ) ->
'c list
val map :
t ->
public_key_id:
( ( [< `Read | `Set_and_create ], t, int ) Fieldslib.Field.t_with_perm ->
t ->
int ->
int ) ->
token_id:
( ( [< `Read | `Set_and_create ], t, int ) Fieldslib.Field.t_with_perm ->
t ->
int ->
int ) ->
t
val set_all_mutable_fields : 'a -> unit