Module CK.TF

This module contains the type declarations for the API functions.

Parameters

Signature

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