val max_sequence_event_elements :
( [< `Read | `Set_and_create ], t, int option ) Fieldslib.Field.t_with_permval max_event_elements :
( [< `Read | `Set_and_create ], t, int option ) Fieldslib.Field.t_with_permval zkapp_transaction_cost_limit :
( [< `Read | `Set_and_create ], t, float option ) Fieldslib.Field.t_with_permval zkapp_signed_pair_update_cost :
( [< `Read | `Set_and_create ], t, float option ) Fieldslib.Field.t_with_permval zkapp_signed_single_update_cost :
( [< `Read | `Set_and_create ], t, float option ) Fieldslib.Field.t_with_permval zkapp_proof_update_cost :
( [< `Read | `Set_and_create ], t, float option ) Fieldslib.Field.t_with_permval peer_list_url :
( [< `Read | `Set_and_create ], t, string option )
Fieldslib.Field.t_with_permval txpool_max_size :
( [< `Read | `Set_and_create ], t, int option ) Fieldslib.Field.t_with_permval make_creator :
txpool_max_size:
( ( [< `Read | `Set_and_create ], t, int option )
Fieldslib.Field.t_with_perm ->
'a ->
( 'b -> int option ) * 'c ) ->
peer_list_url:
( ( [< `Read | `Set_and_create ], t, string option )
Fieldslib.Field.t_with_perm ->
'd ->
( 'e -> string option ) * 'f ) ->
zkapp_proof_update_cost:
( ( [< `Read | `Set_and_create ], t, float option )
Fieldslib.Field.t_with_perm ->
'g ->
( 'h -> float option ) * 'i ) ->
zkapp_signed_single_update_cost:
( ( [< `Read | `Set_and_create ], t, float option )
Fieldslib.Field.t_with_perm ->
'j ->
( 'k -> float option ) * 'l ) ->
zkapp_signed_pair_update_cost:
( ( [< `Read | `Set_and_create ], t, float option )
Fieldslib.Field.t_with_perm ->
'm ->
( 'n -> float option ) * 'o ) ->
zkapp_transaction_cost_limit:
( ( [< `Read | `Set_and_create ], t, float option )
Fieldslib.Field.t_with_perm ->
'p ->
( 'q -> float option ) * 'r ) ->
max_event_elements:
( ( [< `Read | `Set_and_create ], t, int option )
Fieldslib.Field.t_with_perm ->
's ->
( 't -> int option ) * 'u ) ->
max_sequence_event_elements:
( ( [< `Read | `Set_and_create ], t, int option )
Fieldslib.Field.t_with_perm ->
'v ->
( 'w -> int option ) * 'x ) ->
'y ->
( 'z -> t ) * 'a1val create :
txpool_max_size:int option ->
peer_list_url:string option ->
zkapp_proof_update_cost:float option ->
zkapp_signed_single_update_cost:float option ->
zkapp_signed_pair_update_cost:float option ->
zkapp_transaction_cost_limit:float option ->
max_event_elements:int option ->
max_sequence_event_elements:int option ->
tval map :
txpool_max_size:
( ( [< `Read | `Set_and_create ], t, int option )
Fieldslib.Field.t_with_perm ->
int option ) ->
peer_list_url:
( ( [< `Read | `Set_and_create ], t, string option )
Fieldslib.Field.t_with_perm ->
string option ) ->
zkapp_proof_update_cost:
( ( [< `Read | `Set_and_create ], t, float option )
Fieldslib.Field.t_with_perm ->
float option ) ->
zkapp_signed_single_update_cost:
( ( [< `Read | `Set_and_create ], t, float option )
Fieldslib.Field.t_with_perm ->
float option ) ->
zkapp_signed_pair_update_cost:
( ( [< `Read | `Set_and_create ], t, float option )
Fieldslib.Field.t_with_perm ->
float option ) ->
zkapp_transaction_cost_limit:
( ( [< `Read | `Set_and_create ], t, float option )
Fieldslib.Field.t_with_perm ->
float option ) ->
max_event_elements:
( ( [< `Read | `Set_and_create ], t, int option )
Fieldslib.Field.t_with_perm ->
int option ) ->
max_sequence_event_elements:
( ( [< `Read | `Set_and_create ], t, int option )
Fieldslib.Field.t_with_perm ->
int option ) ->
tval iter :
txpool_max_size:
( ( [< `Read | `Set_and_create ], t, int option )
Fieldslib.Field.t_with_perm ->
unit ) ->
peer_list_url:
( ( [< `Read | `Set_and_create ], t, string option )
Fieldslib.Field.t_with_perm ->
unit ) ->
zkapp_proof_update_cost:
( ( [< `Read | `Set_and_create ], t, float option )
Fieldslib.Field.t_with_perm ->
unit ) ->
zkapp_signed_single_update_cost:
( ( [< `Read | `Set_and_create ], t, float option )
Fieldslib.Field.t_with_perm ->
unit ) ->
zkapp_signed_pair_update_cost:
( ( [< `Read | `Set_and_create ], t, float option )
Fieldslib.Field.t_with_perm ->
unit ) ->
zkapp_transaction_cost_limit:
( ( [< `Read | `Set_and_create ], t, float option )
Fieldslib.Field.t_with_perm ->
unit ) ->
max_event_elements:
( ( [< `Read | `Set_and_create ], t, int option )
Fieldslib.Field.t_with_perm ->
unit ) ->
max_sequence_event_elements:
( ( [< `Read | `Set_and_create ], t, int option )
Fieldslib.Field.t_with_perm ->
unit ) ->
unitval fold :
init:'a ->
txpool_max_size:
( 'b ->
( [< `Read | `Set_and_create ], t, int option )
Fieldslib.Field.t_with_perm ->
'c ) ->
peer_list_url:
( 'd ->
( [< `Read | `Set_and_create ], t, string option )
Fieldslib.Field.t_with_perm ->
'e ) ->
zkapp_proof_update_cost:
( 'f ->
( [< `Read | `Set_and_create ], t, float option )
Fieldslib.Field.t_with_perm ->
'g ) ->
zkapp_signed_single_update_cost:
( 'h ->
( [< `Read | `Set_and_create ], t, float option )
Fieldslib.Field.t_with_perm ->
'i ) ->
zkapp_signed_pair_update_cost:
( 'j ->
( [< `Read | `Set_and_create ], t, float option )
Fieldslib.Field.t_with_perm ->
'k ) ->
zkapp_transaction_cost_limit:
( 'l ->
( [< `Read | `Set_and_create ], t, float option )
Fieldslib.Field.t_with_perm ->
'm ) ->
max_event_elements:
( 'n ->
( [< `Read | `Set_and_create ], t, int option )
Fieldslib.Field.t_with_perm ->
'o ) ->
max_sequence_event_elements:
( 'p ->
( [< `Read | `Set_and_create ], t, int option )
Fieldslib.Field.t_with_perm ->
'q ) ->
'rval map_poly :
( [< `Read | `Set_and_create ], t, 'a ) Fieldslib.Field.user ->
'b listval for_all :
txpool_max_size:
( ( [< `Read | `Set_and_create ], t, int option )
Fieldslib.Field.t_with_perm ->
bool ) ->
peer_list_url:
( ( [< `Read | `Set_and_create ], t, string option )
Fieldslib.Field.t_with_perm ->
bool ) ->
zkapp_proof_update_cost:
( ( [< `Read | `Set_and_create ], t, float option )
Fieldslib.Field.t_with_perm ->
bool ) ->
zkapp_signed_single_update_cost:
( ( [< `Read | `Set_and_create ], t, float option )
Fieldslib.Field.t_with_perm ->
bool ) ->
zkapp_signed_pair_update_cost:
( ( [< `Read | `Set_and_create ], t, float option )
Fieldslib.Field.t_with_perm ->
bool ) ->
zkapp_transaction_cost_limit:
( ( [< `Read | `Set_and_create ], t, float option )
Fieldslib.Field.t_with_perm ->
bool ) ->
max_event_elements:
( ( [< `Read | `Set_and_create ], t, int option )
Fieldslib.Field.t_with_perm ->
bool ) ->
max_sequence_event_elements:
( ( [< `Read | `Set_and_create ], t, int option )
Fieldslib.Field.t_with_perm ->
bool ) ->
boolval exists :
txpool_max_size:
( ( [< `Read | `Set_and_create ], t, int option )
Fieldslib.Field.t_with_perm ->
bool ) ->
peer_list_url:
( ( [< `Read | `Set_and_create ], t, string option )
Fieldslib.Field.t_with_perm ->
bool ) ->
zkapp_proof_update_cost:
( ( [< `Read | `Set_and_create ], t, float option )
Fieldslib.Field.t_with_perm ->
bool ) ->
zkapp_signed_single_update_cost:
( ( [< `Read | `Set_and_create ], t, float option )
Fieldslib.Field.t_with_perm ->
bool ) ->
zkapp_signed_pair_update_cost:
( ( [< `Read | `Set_and_create ], t, float option )
Fieldslib.Field.t_with_perm ->
bool ) ->
zkapp_transaction_cost_limit:
( ( [< `Read | `Set_and_create ], t, float option )
Fieldslib.Field.t_with_perm ->
bool ) ->
max_event_elements:
( ( [< `Read | `Set_and_create ], t, int option )
Fieldslib.Field.t_with_perm ->
bool ) ->
max_sequence_event_elements:
( ( [< `Read | `Set_and_create ], t, int option )
Fieldslib.Field.t_with_perm ->
bool ) ->
boolval to_list :
txpool_max_size:
( ( [< `Read | `Set_and_create ], t, int option )
Fieldslib.Field.t_with_perm ->
'a ) ->
peer_list_url:
( ( [< `Read | `Set_and_create ], t, string option )
Fieldslib.Field.t_with_perm ->
'b ) ->
zkapp_proof_update_cost:
( ( [< `Read | `Set_and_create ], t, float option )
Fieldslib.Field.t_with_perm ->
'c ) ->
zkapp_signed_single_update_cost:
( ( [< `Read | `Set_and_create ], t, float option )
Fieldslib.Field.t_with_perm ->
'd ) ->
zkapp_signed_pair_update_cost:
( ( [< `Read | `Set_and_create ], t, float option )
Fieldslib.Field.t_with_perm ->
'e ) ->
zkapp_transaction_cost_limit:
( ( [< `Read | `Set_and_create ], t, float option )
Fieldslib.Field.t_with_perm ->
'f ) ->
max_event_elements:
( ( [< `Read | `Set_and_create ], t, int option )
Fieldslib.Field.t_with_perm ->
'g ) ->
max_sequence_event_elements:
( ( [< `Read | `Set_and_create ], t, int option )
Fieldslib.Field.t_with_perm ->
'h ) ->
'i list