val fold :
'a t ->
init:'b ->
instances:
( 'c ->
( [< `Read | `Set_and_create ], 'd t, 'd One_or_two.t )
Fieldslib.Field.t_with_perm ->
'a t ->
'a One_or_two.t ->
'e ) ->
fee:
( 'f ->
( [< `Read | `Set_and_create ], 'g t, Currency.Fee.t )
Fieldslib.Field.t_with_perm ->
'a t ->
Currency.Fee.t ->
'h ) ->
'i
val for_all :
'a t ->
instances:
( ( [< `Read | `Set_and_create ], 'b t, 'b One_or_two.t )
Fieldslib.Field.t_with_perm ->
'a t ->
'a One_or_two.t ->
bool ) ->
fee:
( ( [< `Read | `Set_and_create ], 'c t, Currency.Fee.t )
Fieldslib.Field.t_with_perm ->
'a t ->
Currency.Fee.t ->
bool ) ->
bool
val exists :
'a t ->
instances:
( ( [< `Read | `Set_and_create ], 'b t, 'b One_or_two.t )
Fieldslib.Field.t_with_perm ->
'a t ->
'a One_or_two.t ->
bool ) ->
fee:
( ( [< `Read | `Set_and_create ], 'c t, Currency.Fee.t )
Fieldslib.Field.t_with_perm ->
'a t ->
Currency.Fee.t ->
bool ) ->
bool
val to_list :
'a t ->
instances:
( ( [< `Read | `Set_and_create ], 'b t, 'b One_or_two.t )
Fieldslib.Field.t_with_perm ->
'a t ->
'a One_or_two.t ->
'c ) ->
fee:
( ( [< `Read | `Set_and_create ], 'd t, Currency.Fee.t )
Fieldslib.Field.t_with_perm ->
'a t ->
Currency.Fee.t ->
'e ) ->
'f list
val set_all_mutable_fields : 'a -> unit