val next :
( [< `Read | `Set_and_create ], t, Data.t option )
Fieldslib.Field.t_with_permval staking :
( [< `Read | `Set_and_create ], t, Data.t ) Fieldslib.Field.t_with_permval make_creator :
staking:
( ( [< `Read | `Set_and_create ], t, Data.t ) Fieldslib.Field.t_with_perm ->
'a ->
( 'b -> Data.t ) * 'c ) ->
next:
( ( [< `Read | `Set_and_create ], t, Data.t option )
Fieldslib.Field.t_with_perm ->
'd ->
( 'e -> Data.t option ) * 'f ) ->
'g ->
( 'h -> t ) * 'ival map :
staking:
( ( [< `Read | `Set_and_create ], t, Data.t ) Fieldslib.Field.t_with_perm ->
Data.t ) ->
next:
( ( [< `Read | `Set_and_create ], t, Data.t option )
Fieldslib.Field.t_with_perm ->
Data.t option ) ->
tval iter :
staking:
( ( [< `Read | `Set_and_create ], t, Data.t ) Fieldslib.Field.t_with_perm ->
unit ) ->
next:
( ( [< `Read | `Set_and_create ], t, Data.t option )
Fieldslib.Field.t_with_perm ->
unit ) ->
unitval fold :
init:'a ->
staking:
( 'b ->
( [< `Read | `Set_and_create ], t, Data.t ) Fieldslib.Field.t_with_perm ->
'c ) ->
next:
( 'd ->
( [< `Read | `Set_and_create ], t, Data.t option )
Fieldslib.Field.t_with_perm ->
'e ) ->
'fval map_poly :
( [< `Read | `Set_and_create ], t, 'a ) Fieldslib.Field.user ->
'b listval for_all :
staking:
( ( [< `Read | `Set_and_create ], t, Data.t ) Fieldslib.Field.t_with_perm ->
bool ) ->
next:
( ( [< `Read | `Set_and_create ], t, Data.t option )
Fieldslib.Field.t_with_perm ->
bool ) ->
boolval exists :
staking:
( ( [< `Read | `Set_and_create ], t, Data.t ) Fieldslib.Field.t_with_perm ->
bool ) ->
next:
( ( [< `Read | `Set_and_create ], t, Data.t option )
Fieldslib.Field.t_with_perm ->
bool ) ->
boolval to_list :
staking:
( ( [< `Read | `Set_and_create ], t, Data.t ) Fieldslib.Field.t_with_perm ->
'a ) ->
next:
( ( [< `Read | `Set_and_create ], t, Data.t option )
Fieldslib.Field.t_with_perm ->
'b ) ->
'c list