//! Teaclave SGX SDK Documentation
#![no_std]
extern crate sgx_tstd as std;