tz-sdk-api-docs/lib.rs

use optee_teec;