Function transaction 

pub fn transaction<Mode: ExecutionMode>(
    env: &Env<'_, '_, '_, '_, '_, Mode>,
    tt: &Transaction,
) -> Result<(), Mode::Error>