Type Definition CCODE::ENCLAVE_TARGET_FUNCTION

type ENCLAVE_TARGET_FUNCTION = Option<unsafe extern "C" fn(arg1: PVOID) -> PVOID>;