Function execution_arn 

pub fn execution_arn(
    region: &str,
    account_id: &str,
    state_machine_name: &str,
    execution_name: &str,
) -> String

The ARN of a standard-workflow execution.