| Check_account_precondition : 'account_update
* 'account
* 'bool
* 'local_state -> ( 'local_state,
< bool : 'bool
; account_update : 'account_update
; account : 'account
; local_state : 'local_state.. > )
t |
| Check_protocol_state_precondition : 'protocol_state_pred
* 'global_state -> ( 'bool,
< bool : 'bool
; global_state : 'global_state
; protocol_state_precondition : 'protocol_state_pred.. > )
t |
| Init_account : {account_update : 'account_update; | account : 'account; |
} -> ( 'account, < account_update : 'account_update ; account : 'account.. > ) t |