val c_Initialize : (unit Ctypes.ptr -> CK_RV.t) Ctypes.fnval c_Finalize : (unit Ctypes.ptr -> CK_RV.t) Ctypes.fnval c_GetInfo : (CK_INFO.t Ctypes.ptr -> CK_RV.t) Ctypes.fnval c_GetFunctionList : (ck_function_list Ctypes.ptr Ctypes.ptr -> CK_RV.t) Ctypes.fnval c_GetSlotList : (CK_BBOOL.t -> CK_SLOT_ID.t Ctypes.ptr -> Unsigned.ulong Ctypes.ptr -> CK_RV.t) Ctypes.fnval c_GetSlotInfo : (CK_SLOT_ID.t -> CK_SLOT_INFO.t Ctypes.ptr -> CK_RV.t) Ctypes.fnval c_GetTokenInfo : (CK_SLOT_ID.t -> CK_TOKEN_INFO.t Ctypes.ptr -> CK_RV.t) Ctypes.fnval c_GetMechanismList : (CK_SLOT_ID.t -> CK_MECHANISM_TYPE.t Ctypes.ptr -> Unsigned.ulong Ctypes.ptr -> CK_RV.t) Ctypes.fnval c_GetMechanismInfo : (CK_SLOT_ID.t -> CK_MECHANISM_TYPE.t -> CK_MECHANISM_INFO.t Ctypes.ptr -> CK_RV.t) Ctypes.fnval c_InitToken : (CK_SLOT_ID.t -> CK_UTF8CHAR.t Ctypes.ptr -> Unsigned.ulong -> CK_UTF8CHAR.t Ctypes.ptr -> CK_RV.t) Ctypes.fnval c_InitPIN : (CK_SESSION_HANDLE.t -> CK_UTF8CHAR.t Ctypes.ptr -> Unsigned.ulong -> CK_RV.t) Ctypes.fnval c_SetPIN : (CK_SESSION_HANDLE.t -> CK_UTF8CHAR.t Ctypes.ptr -> Unsigned.ulong -> CK_UTF8CHAR.t Ctypes.ptr -> Unsigned.ulong -> CK_RV.t) Ctypes.fnval c_OpenSession : (CK_SLOT_ID.t -> CK_FLAGS.t -> unit Ctypes.ptr -> CK_NOTIFY.u Ctypes.ptr -> CK_SESSION_HANDLE.t Ctypes.ptr -> CK_RV.t) Ctypes.fnval c_CloseSession : (CK_SESSION_HANDLE.t -> CK_RV.t) Ctypes.fnval c_CloseAllSessions : (CK_SLOT_ID.t -> CK_RV.t) Ctypes.fnval c_GetSessionInfo : (CK_SESSION_HANDLE.t -> CK_SESSION_INFO.t Ctypes.ptr -> CK_RV.t) Ctypes.fnval c_GetOperationState : (CK_SESSION_HANDLE.t -> char Ctypes.ptr -> Unsigned.ulong Ctypes.ptr -> CK_RV.t) Ctypes.fnval c_SetOperationState : (CK_SESSION_HANDLE.t -> char Ctypes.ptr -> Unsigned.ulong -> CK_OBJECT_HANDLE.t -> CK_OBJECT_HANDLE.t -> CK_RV.t) Ctypes.fnval c_Login : (CK_SESSION_HANDLE.t -> CK_USER_TYPE.t -> CK_UTF8CHAR.t Ctypes.ptr -> Unsigned.ulong -> CK_RV.t) Ctypes.fnval c_Logout : (CK_SESSION_HANDLE.t -> CK_RV.t) Ctypes.fnval c_CreateObject : (CK_SESSION_HANDLE.t -> CK_ATTRIBUTE.t Ctypes.ptr -> Unsigned.ulong -> CK_OBJECT_HANDLE.t Ctypes.ptr -> CK_RV.t) Ctypes.fnval c_CopyObject : (CK_SESSION_HANDLE.t -> CK_OBJECT_HANDLE.t -> CK_ATTRIBUTE.t Ctypes.ptr -> Unsigned.ulong -> CK_OBJECT_HANDLE.t Ctypes.ptr -> CK_RV.t) Ctypes.fnval c_DestroyObject : (CK_SESSION_HANDLE.t -> CK_OBJECT_HANDLE.t -> CK_RV.t) Ctypes.fnval c_GetObjectSize : (CK_SESSION_HANDLE.t -> CK_OBJECT_HANDLE.t -> Unsigned.ulong Ctypes.ptr -> CK_RV.t) Ctypes.fnval c_GetAttributeValue : (CK_SESSION_HANDLE.t -> CK_OBJECT_HANDLE.t -> CK_ATTRIBUTE.t Ctypes.ptr -> Unsigned.ulong -> CK_RV.t) Ctypes.fnval c_SetAttributeValue : (CK_SESSION_HANDLE.t -> CK_OBJECT_HANDLE.t -> CK_ATTRIBUTE.t Ctypes.ptr -> Unsigned.ulong -> CK_RV.t) Ctypes.fnval c_FindObjectsInit : (CK_SESSION_HANDLE.t -> CK_ATTRIBUTE.t Ctypes.ptr -> Unsigned.ulong -> CK_RV.t) Ctypes.fnval c_FindObjects : (CK_SESSION_HANDLE.t -> CK_OBJECT_HANDLE.t Ctypes.ptr -> Unsigned.ulong -> Unsigned.ulong Ctypes.ptr -> CK_RV.t) Ctypes.fnval c_FindObjectsFinal : (CK_SESSION_HANDLE.t -> CK_RV.t) Ctypes.fnval c_EncryptInit : (CK_SESSION_HANDLE.t -> CK_MECHANISM.t Ctypes.ptr -> CK_OBJECT_HANDLE.t -> CK_RV.t) Ctypes.fnval c_Encrypt : (CK_SESSION_HANDLE.t -> char Ctypes.ptr -> Unsigned.ulong -> char Ctypes.ptr -> Unsigned.ulong Ctypes.ptr -> CK_RV.t) Ctypes.fnval c_EncryptUpdate : (CK_SESSION_HANDLE.t -> char Ctypes.ptr -> Unsigned.ulong -> char Ctypes.ptr -> Unsigned.ulong Ctypes.ptr -> CK_RV.t) Ctypes.fnval c_EncryptFinal : (CK_SESSION_HANDLE.t -> char Ctypes.ptr -> Unsigned.ulong Ctypes.ptr -> CK_RV.t) Ctypes.fnval c_DecryptInit : (CK_SESSION_HANDLE.t -> CK_MECHANISM.t Ctypes.ptr -> CK_OBJECT_HANDLE.t -> CK_RV.t) Ctypes.fnval c_Decrypt : (CK_SESSION_HANDLE.t -> char Ctypes.ptr -> Unsigned.ulong -> char Ctypes.ptr -> Unsigned.ulong Ctypes.ptr -> CK_RV.t) Ctypes.fnval c_DecryptUpdate : (CK_SESSION_HANDLE.t -> char Ctypes.ptr -> Unsigned.ulong -> char Ctypes.ptr -> Unsigned.ulong Ctypes.ptr -> CK_RV.t) Ctypes.fnval c_DecryptFinal : (CK_SESSION_HANDLE.t -> char Ctypes.ptr -> Unsigned.ulong Ctypes.ptr -> CK_RV.t) Ctypes.fnval c_DigestInit : (CK_SESSION_HANDLE.t -> CK_MECHANISM.t Ctypes.ptr -> CK_RV.t) Ctypes.fnval c_Digest : (CK_SESSION_HANDLE.t -> char Ctypes.ptr -> Unsigned.ulong -> char Ctypes.ptr -> Unsigned.ulong Ctypes.ptr -> CK_RV.t) Ctypes.fnval c_DigestUpdate : (CK_SESSION_HANDLE.t -> char Ctypes.ptr -> Unsigned.ulong -> CK_RV.t) Ctypes.fnval c_DigestKey : (CK_SESSION_HANDLE.t -> CK_OBJECT_HANDLE.t -> CK_RV.t) Ctypes.fnval c_DigestFinal : (CK_SESSION_HANDLE.t -> char Ctypes.ptr -> Unsigned.ulong Ctypes.ptr -> CK_RV.t) Ctypes.fnval c_SignInit : (CK_SESSION_HANDLE.t -> CK_MECHANISM.t Ctypes.ptr -> CK_OBJECT_HANDLE.t -> CK_RV.t) Ctypes.fnval c_Sign : (CK_SESSION_HANDLE.t -> char Ctypes.ptr -> Unsigned.ulong -> char Ctypes.ptr -> Unsigned.ulong Ctypes.ptr -> CK_RV.t) Ctypes.fnval c_SignUpdate : (CK_SESSION_HANDLE.t -> char Ctypes.ptr -> Unsigned.ulong -> CK_RV.t) Ctypes.fnval c_SignFinal : (CK_SESSION_HANDLE.t -> char Ctypes.ptr -> Unsigned.ulong Ctypes.ptr -> CK_RV.t) Ctypes.fnval c_SignRecoverInit : (CK_SESSION_HANDLE.t -> CK_MECHANISM.t Ctypes.ptr -> CK_OBJECT_HANDLE.t -> CK_RV.t) Ctypes.fnval c_SignRecover : (CK_SESSION_HANDLE.t -> char Ctypes.ptr -> Unsigned.ulong -> char Ctypes.ptr -> Unsigned.ulong Ctypes.ptr -> CK_RV.t) Ctypes.fnval c_VerifyInit : (CK_SESSION_HANDLE.t -> CK_MECHANISM.t Ctypes.ptr -> CK_OBJECT_HANDLE.t -> CK_RV.t) Ctypes.fnval c_Verify : (CK_SESSION_HANDLE.t -> char Ctypes.ptr -> Unsigned.ulong -> char Ctypes.ptr -> Unsigned.ulong -> CK_RV.t) Ctypes.fnval c_VerifyUpdate : (CK_SESSION_HANDLE.t -> char Ctypes.ptr -> Unsigned.ulong -> CK_RV.t) Ctypes.fnval c_VerifyFinal : (CK_SESSION_HANDLE.t -> char Ctypes.ptr -> Unsigned.ulong -> CK_RV.t) Ctypes.fnval c_VerifyRecoverInit : (CK_SESSION_HANDLE.t -> CK_MECHANISM.t Ctypes.ptr -> CK_OBJECT_HANDLE.t -> CK_RV.t) Ctypes.fnval c_VerifyRecover : (CK_SESSION_HANDLE.t -> char Ctypes.ptr -> Unsigned.ulong -> char Ctypes.ptr -> Unsigned.ulong Ctypes.ptr -> CK_RV.t) Ctypes.fnval c_DigestEncryptUpdate : (CK_SESSION_HANDLE.t -> char Ctypes.ptr -> Unsigned.ulong -> char Ctypes.ptr -> Unsigned.ulong Ctypes.ptr -> CK_RV.t) Ctypes.fnval c_DecryptDigestUpdate : (CK_SESSION_HANDLE.t -> char Ctypes.ptr -> Unsigned.ulong -> char Ctypes.ptr -> Unsigned.ulong Ctypes.ptr -> CK_RV.t) Ctypes.fnval c_SignEncryptUpdate : (CK_SESSION_HANDLE.t -> char Ctypes.ptr -> Unsigned.ulong -> char Ctypes.ptr -> Unsigned.ulong Ctypes.ptr -> CK_RV.t) Ctypes.fnval c_DecryptVerifyUpdate : (CK_SESSION_HANDLE.t -> char Ctypes.ptr -> Unsigned.ulong -> char Ctypes.ptr -> Unsigned.ulong Ctypes.ptr -> CK_RV.t) Ctypes.fnval c_GenerateKey : (CK_SESSION_HANDLE.t -> CK_MECHANISM.t Ctypes.ptr -> CK_ATTRIBUTE.t Ctypes.ptr -> Unsigned.ulong -> CK_OBJECT_HANDLE.t Ctypes.ptr -> CK_RV.t) Ctypes.fnval c_GenerateKeyPair : (CK_SESSION_HANDLE.t -> CK_MECHANISM.t Ctypes.ptr -> CK_ATTRIBUTE.t Ctypes.ptr -> Unsigned.ulong -> CK_ATTRIBUTE.t Ctypes.ptr -> Unsigned.ulong -> CK_OBJECT_HANDLE.t Ctypes.ptr -> CK_OBJECT_HANDLE.t Ctypes.ptr -> CK_RV.t) Ctypes.fnval c_WrapKey : (CK_SESSION_HANDLE.t -> CK_MECHANISM.t Ctypes.ptr -> CK_OBJECT_HANDLE.t -> CK_OBJECT_HANDLE.t -> char Ctypes.ptr -> Unsigned.ulong Ctypes.ptr -> CK_RV.t) Ctypes.fnval c_UnwrapKey : (CK_SESSION_HANDLE.t -> CK_MECHANISM.t Ctypes.ptr -> CK_OBJECT_HANDLE.t -> char Ctypes.ptr -> Unsigned.ulong -> CK_ATTRIBUTE.t Ctypes.ptr -> Unsigned.ulong -> CK_OBJECT_HANDLE.t Ctypes.ptr -> CK_RV.t) Ctypes.fnval c_DeriveKey : (CK_SESSION_HANDLE.t -> CK_MECHANISM.t Ctypes.ptr -> CK_OBJECT_HANDLE.t -> CK_ATTRIBUTE.t Ctypes.ptr -> Unsigned.ulong -> CK_OBJECT_HANDLE.t Ctypes.ptr -> CK_RV.t) Ctypes.fnval c_SeedRandom : (CK_SESSION_HANDLE.t -> char Ctypes.ptr -> Unsigned.ulong -> CK_RV.t) Ctypes.fnval c_GenerateRandom : (CK_SESSION_HANDLE.t -> char Ctypes.ptr -> Unsigned.ulong -> CK_RV.t) Ctypes.fnval c_GetFunctionStatus : (CK_SESSION_HANDLE.t -> CK_RV.t) Ctypes.fnval c_CancelFunction : (CK_SESSION_HANDLE.t -> CK_RV.t) Ctypes.fnval c_WaitForSlotEvent : (CK_FLAGS.t -> CK_SLOT_ID.t Ctypes.ptr -> unit Ctypes.ptr -> CK_RV.t) Ctypes.fn