Alpha_services.Protocol_treasuryval get_protocol_treasury_address :
'a Mavryk_protocol_environment_alpha.RPC_context.simple ->
'a ->
Contract_hash.t Mavryk_protocol_environment_alpha.Error_monad.shell_tzresult
Mavryk_protocol_environment_alpha.Lwt.t