Redirecting to
../../sgx_types/type.sgx_launch_token_t.html
...