Parameter `Rev_bindings.X`

val c_GetFunctionList : 
  Pkcs11.CK_FUNCTION_LIST.t Ctypes.ptr Ctypes.ptr ->
  Pkcs11.CK_RV.t

val c_Initialize : Pkcs11.CK_VOID.t Ctypes.ptr -> Pkcs11.CK_RV.t

val c_Finalize : Pkcs11.CK_VOID.t Ctypes.ptr -> Pkcs11.CK_RV.t

val c_GetInfo : Pkcs11.CK_INFO.t Ctypes.ptr -> Pkcs11.CK_RV.t

val c_GetTokenInfo : 
  Pkcs11.CK_SLOT_ID.t ->
  Pkcs11.CK_TOKEN_INFO.t Ctypes.ptr ->
  Pkcs11.CK_RV.t

val c_GetSlotList : 
  Pkcs11.CK_BBOOL.t ->
  Pkcs11.CK_SLOT_ID.t Ctypes.ptr ->
  Pkcs11.CK_ULONG.t Ctypes.ptr ->
  Pkcs11.CK_RV.t

val c_GetSlotInfo : 
  Pkcs11.CK_SLOT_ID.t ->
  Pkcs11.CK_SLOT_INFO.t Ctypes.ptr ->
  Pkcs11.CK_RV.t

val c_GetMechanismList : 
  Pkcs11.CK_SLOT_ID.t ->
  Pkcs11.CK_MECHANISM_TYPE.t Ctypes.ptr ->
  Pkcs11.CK_ULONG.t Ctypes.ptr ->
  Pkcs11.CK_RV.t

val c_GetMechanismInfo : 
  Pkcs11.CK_SLOT_ID.t ->
  Pkcs11.CK_MECHANISM_TYPE.t ->
  Pkcs11.CK_MECHANISM_INFO.t Ctypes.ptr ->
  Pkcs11.CK_RV.t

val c_InitToken : 
  Pkcs11.CK_SLOT_ID.t ->
  Pkcs11.CK_UTF8CHAR.t Ctypes.ptr ->
  Pkcs11.CK_ULONG.t ->
  Pkcs11.CK_UTF8CHAR.t Ctypes.ptr ->
  Pkcs11.CK_RV.t

val c_InitPIN : 
  Pkcs11.CK_SESSION_HANDLE.t ->
  Pkcs11.CK_UTF8CHAR.t Ctypes.ptr ->
  Pkcs11.CK_ULONG.t ->
  Pkcs11.CK_RV.t

val c_SetPIN : 
  Pkcs11.CK_SESSION_HANDLE.t ->
  Pkcs11.CK_UTF8CHAR.t Ctypes.ptr ->
  Pkcs11.CK_ULONG.t ->
  Pkcs11.CK_UTF8CHAR.t Ctypes.ptr ->
  Pkcs11.CK_ULONG.t ->
  Pkcs11.CK_RV.t

val c_OpenSession : 
  Pkcs11.CK_SLOT_ID.t ->
  Pkcs11.CK_FLAGS.t ->
  Pkcs11.CK_VOID.t Ctypes.ptr ->
  Pkcs11.CK_NOTIFY.t ->
  Pkcs11.CK_SESSION_HANDLE.t Ctypes.ptr ->
  Pkcs11.CK_RV.t

val c_CloseSession : Pkcs11.CK_SESSION_HANDLE.t -> Pkcs11.CK_RV.t

val c_CloseAllSessions : Pkcs11.CK_SLOT_ID.t -> Pkcs11.CK_RV.t

val c_GetSessionInfo : 
  Pkcs11.CK_SESSION_HANDLE.t ->
  Pkcs11.CK_SESSION_INFO.t Ctypes.ptr ->
  Pkcs11.CK_RV.t

val c_GetOperationState : 
  Pkcs11.CK_SESSION_HANDLE.t ->
  Pkcs11.CK_BYTE.t Ctypes.ptr ->
  Pkcs11.CK_ULONG.t Ctypes.ptr ->
  Pkcs11.CK_RV.t

val c_SetOperationState : 
  Pkcs11.CK_SESSION_HANDLE.t ->
  Pkcs11.CK_BYTE.t Ctypes.ptr ->
  Pkcs11.CK_ULONG.t ->
  Pkcs11.CK_OBJECT_HANDLE.t ->
  Pkcs11.CK_OBJECT_HANDLE.t ->
  Pkcs11.CK_RV.t

val c_Login : 
  Pkcs11.CK_SESSION_HANDLE.t ->
  Pkcs11.CK_USER_TYPE.t ->
  Pkcs11.CK_UTF8CHAR.t Ctypes.ptr ->
  Pkcs11.CK_ULONG.t ->
  Pkcs11.CK_RV.t

val c_Logout : Pkcs11.CK_SESSION_HANDLE.t -> Pkcs11.CK_RV.t

val c_CreateObject : 
  Pkcs11.CK_SESSION_HANDLE.t ->
  Pkcs11.CK_ATTRIBUTE.t Ctypes.ptr ->
  Pkcs11.CK_ULONG.t ->
  Pkcs11.CK_OBJECT_HANDLE.t Ctypes.ptr ->
  Pkcs11.CK_RV.t

val c_CopyObject : 
  Pkcs11.CK_SESSION_HANDLE.t ->
  Pkcs11.CK_OBJECT_HANDLE.t ->
  Pkcs11.CK_ATTRIBUTE.t Ctypes.ptr ->
  Pkcs11.CK_ULONG.t ->
  Pkcs11.CK_OBJECT_HANDLE.t Ctypes.ptr ->
  Pkcs11.CK_RV.t

val c_DestroyObject : 
  Pkcs11.CK_SESSION_HANDLE.t ->
  Pkcs11.CK_OBJECT_HANDLE.t ->
  Pkcs11.CK_RV.t

val c_GetObjectSize : 
  Pkcs11.CK_SESSION_HANDLE.t ->
  Pkcs11.CK_OBJECT_HANDLE.t ->
  Pkcs11.CK_ULONG.t Ctypes.ptr ->
  Pkcs11.CK_RV.t

val c_GetAttributeValue : 
  Pkcs11.CK_SESSION_HANDLE.t ->
  Pkcs11.CK_OBJECT_HANDLE.t ->
  Pkcs11.CK_ATTRIBUTE.t Ctypes.ptr ->
  Pkcs11.CK_ULONG.t ->
  Pkcs11.CK_RV.t

val c_SetAttributeValue : 
  Pkcs11.CK_SESSION_HANDLE.t ->
  Pkcs11.CK_OBJECT_HANDLE.t ->
  Pkcs11.CK_ATTRIBUTE.t Ctypes.ptr ->
  Pkcs11.CK_ULONG.t ->
  Pkcs11.CK_RV.t

val c_FindObjectsInit : 
  Pkcs11.CK_SESSION_HANDLE.t ->
  Pkcs11.CK_ATTRIBUTE.t Ctypes.ptr ->
  Pkcs11.CK_ULONG.t ->
  Pkcs11.CK_RV.t

val c_FindObjects : 
  Pkcs11.CK_SESSION_HANDLE.t ->
  Pkcs11.CK_OBJECT_HANDLE.t Ctypes.ptr ->
  Pkcs11.CK_ULONG.t ->
  Pkcs11.CK_ULONG.t Ctypes.ptr ->
  Pkcs11.CK_RV.t

val c_FindObjectsFinal : Pkcs11.CK_SESSION_HANDLE.t -> Pkcs11.CK_RV.t

val c_EncryptInit : 
  Pkcs11.CK_SESSION_HANDLE.t ->
  Pkcs11.CK_MECHANISM.t Ctypes.ptr ->
  Pkcs11.CK_OBJECT_HANDLE.t ->
  Pkcs11.CK_RV.t

val c_Encrypt : 
  Pkcs11.CK_SESSION_HANDLE.t ->
  Pkcs11.CK_BYTE.t Ctypes.ptr ->
  Pkcs11.CK_ULONG.t ->
  Pkcs11.CK_BYTE.t Ctypes.ptr ->
  Pkcs11.CK_ULONG.t Ctypes.ptr ->
  Pkcs11.CK_RV.t

val c_EncryptUpdate : 
  Pkcs11.CK_SESSION_HANDLE.t ->
  Pkcs11.CK_BYTE.t Ctypes.ptr ->
  Pkcs11.CK_ULONG.t ->
  Pkcs11.CK_BYTE.t Ctypes.ptr ->
  Pkcs11.CK_ULONG.t Ctypes.ptr ->
  Pkcs11.CK_RV.t

val c_EncryptFinal : 
  Pkcs11.CK_SESSION_HANDLE.t ->
  Pkcs11.CK_BYTE.t Ctypes.ptr ->
  Pkcs11.CK_ULONG.t Ctypes.ptr ->
  Pkcs11.CK_RV.t

val c_DecryptInit : 
  Pkcs11.CK_SESSION_HANDLE.t ->
  Pkcs11.CK_MECHANISM.t Ctypes.ptr ->
  Pkcs11.CK_OBJECT_HANDLE.t ->
  Pkcs11.CK_RV.t

val c_Decrypt : 
  Pkcs11.CK_SESSION_HANDLE.t ->
  Pkcs11.CK_BYTE.t Ctypes.ptr ->
  Pkcs11.CK_ULONG.t ->
  Pkcs11.CK_BYTE.t Ctypes.ptr ->
  Pkcs11.CK_ULONG.t Ctypes.ptr ->
  Pkcs11.CK_RV.t

val c_DecryptUpdate : 
  Pkcs11.CK_SESSION_HANDLE.t ->
  Pkcs11.CK_BYTE.t Ctypes.ptr ->
  Pkcs11.CK_ULONG.t ->
  Pkcs11.CK_BYTE.t Ctypes.ptr ->
  Pkcs11.CK_ULONG.t Ctypes.ptr ->
  Pkcs11.CK_RV.t

val c_DecryptFinal : 
  Pkcs11.CK_SESSION_HANDLE.t ->
  Pkcs11.CK_BYTE.t Ctypes.ptr ->
  Pkcs11.CK_ULONG.t Ctypes.ptr ->
  Pkcs11.CK_RV.t

val c_DigestInit : 
  Pkcs11.CK_SESSION_HANDLE.t ->
  Pkcs11.CK_MECHANISM.t Ctypes.ptr ->
  Pkcs11.CK_RV.t

val c_Digest : 
  Pkcs11.CK_SESSION_HANDLE.t ->
  Pkcs11.CK_BYTE.t Ctypes.ptr ->
  Pkcs11.CK_ULONG.t ->
  Pkcs11.CK_BYTE.t Ctypes.ptr ->
  Pkcs11.CK_ULONG.t Ctypes.ptr ->
  Pkcs11.CK_RV.t

val c_DigestUpdate : 
  Pkcs11.CK_SESSION_HANDLE.t ->
  Pkcs11.CK_BYTE.t Ctypes.ptr ->
  Pkcs11.CK_ULONG.t ->
  Pkcs11.CK_RV.t

val c_DigestKey : 
  Pkcs11.CK_SESSION_HANDLE.t ->
  Pkcs11.CK_OBJECT_HANDLE.t ->
  Pkcs11.CK_RV.t

val c_DigestFinal : 
  Pkcs11.CK_SESSION_HANDLE.t ->
  Pkcs11.CK_BYTE.t Ctypes.ptr ->
  Pkcs11.CK_ULONG.t Ctypes.ptr ->
  Pkcs11.CK_RV.t

val c_SignInit : 
  Pkcs11.CK_SESSION_HANDLE.t ->
  Pkcs11.CK_MECHANISM.t Ctypes.ptr ->
  Pkcs11.CK_OBJECT_HANDLE.t ->
  Pkcs11.CK_RV.t

val c_Sign : 
  Pkcs11.CK_SESSION_HANDLE.t ->
  Pkcs11.CK_BYTE.t Ctypes.ptr ->
  Pkcs11.CK_ULONG.t ->
  Pkcs11.CK_BYTE.t Ctypes.ptr ->
  Pkcs11.CK_ULONG.t Ctypes.ptr ->
  Pkcs11.CK_RV.t

val c_SignUpdate : 
  Pkcs11.CK_SESSION_HANDLE.t ->
  Pkcs11.CK_BYTE.t Ctypes.ptr ->
  Pkcs11.CK_ULONG.t ->
  Pkcs11.CK_RV.t

val c_SignFinal : 
  Pkcs11.CK_SESSION_HANDLE.t ->
  Pkcs11.CK_BYTE.t Ctypes.ptr ->
  Pkcs11.CK_ULONG.t Ctypes.ptr ->
  Pkcs11.CK_RV.t

val c_SignRecoverInit : 
  Pkcs11.CK_SESSION_HANDLE.t ->
  Pkcs11.CK_MECHANISM.t Ctypes.ptr ->
  Pkcs11.CK_OBJECT_HANDLE.t ->
  Pkcs11.CK_RV.t

val c_SignRecover : 
  Pkcs11.CK_SESSION_HANDLE.t ->
  Pkcs11.CK_BYTE.t Ctypes.ptr ->
  Pkcs11.CK_ULONG.t ->
  Pkcs11.CK_BYTE.t Ctypes.ptr ->
  Pkcs11.CK_ULONG.t Ctypes.ptr ->
  Pkcs11.CK_RV.t

val c_VerifyInit : 
  Pkcs11.CK_SESSION_HANDLE.t ->
  Pkcs11.CK_MECHANISM.t Ctypes.ptr ->
  Pkcs11.CK_OBJECT_HANDLE.t ->
  Pkcs11.CK_RV.t

val c_Verify : 
  Pkcs11.CK_SESSION_HANDLE.t ->
  Pkcs11.CK_BYTE.t Ctypes.ptr ->
  Pkcs11.CK_ULONG.t ->
  Pkcs11.CK_BYTE.t Ctypes.ptr ->
  Pkcs11.CK_ULONG.t ->
  Pkcs11.CK_RV.t

val c_VerifyUpdate : 
  Pkcs11.CK_SESSION_HANDLE.t ->
  Pkcs11.CK_BYTE.t Ctypes.ptr ->
  Pkcs11.CK_ULONG.t ->
  Pkcs11.CK_RV.t

val c_VerifyFinal : 
  Pkcs11.CK_SESSION_HANDLE.t ->
  Pkcs11.CK_BYTE.t Ctypes.ptr ->
  Pkcs11.CK_ULONG.t ->
  Pkcs11.CK_RV.t

val c_VerifyRecoverInit : 
  Pkcs11.CK_SESSION_HANDLE.t ->
  Pkcs11.CK_MECHANISM.t Ctypes.ptr ->
  Pkcs11.CK_OBJECT_HANDLE.t ->
  Pkcs11.CK_RV.t

val c_VerifyRecover : 
  Pkcs11.CK_SESSION_HANDLE.t ->
  Pkcs11.CK_BYTE.t Ctypes.ptr ->
  Pkcs11.CK_ULONG.t ->
  Pkcs11.CK_BYTE.t Ctypes.ptr ->
  Pkcs11.CK_ULONG.t Ctypes.ptr ->
  Pkcs11.CK_RV.t

val c_DigestEncryptUpdate : 
  Pkcs11.CK_SESSION_HANDLE.t ->
  Pkcs11.CK_BYTE.t Ctypes.ptr ->
  Pkcs11.CK_ULONG.t ->
  Pkcs11.CK_BYTE.t Ctypes.ptr ->
  Pkcs11.CK_ULONG.t Ctypes.ptr ->
  Pkcs11.CK_RV.t

val c_DecryptDigestUpdate : 
  Pkcs11.CK_SESSION_HANDLE.t ->
  Pkcs11.CK_BYTE.t Ctypes.ptr ->
  Pkcs11.CK_ULONG.t ->
  Pkcs11.CK_BYTE.t Ctypes.ptr ->
  Pkcs11.CK_ULONG.t Ctypes.ptr ->
  Pkcs11.CK_RV.t

val c_SignEncryptUpdate : 
  Pkcs11.CK_SESSION_HANDLE.t ->
  Pkcs11.CK_BYTE.t Ctypes.ptr ->
  Pkcs11.CK_ULONG.t ->
  Pkcs11.CK_BYTE.t Ctypes.ptr ->
  Pkcs11.CK_ULONG.t Ctypes.ptr ->
  Pkcs11.CK_RV.t

val c_DecryptVerifyUpdate : 
  Pkcs11.CK_SESSION_HANDLE.t ->
  Pkcs11.CK_BYTE.t Ctypes.ptr ->
  Pkcs11.CK_ULONG.t ->
  Pkcs11.CK_BYTE.t Ctypes.ptr ->
  Pkcs11.CK_ULONG.t Ctypes.ptr ->
  Pkcs11.CK_RV.t

val c_GenerateKey : 
  Pkcs11.CK_SESSION_HANDLE.t ->
  Pkcs11.CK_MECHANISM.t Ctypes.ptr ->
  Pkcs11.CK_ATTRIBUTE.t Ctypes.ptr ->
  Pkcs11.CK_ULONG.t ->
  Pkcs11.CK_OBJECT_HANDLE.t Ctypes.ptr ->
  Pkcs11.CK_RV.t

val c_GenerateKeyPair : 
  Pkcs11.CK_SESSION_HANDLE.t ->
  Pkcs11.CK_MECHANISM.t Ctypes.ptr ->
  Pkcs11.CK_ATTRIBUTE.t Ctypes.ptr ->
  Pkcs11.CK_ULONG.t ->
  Pkcs11.CK_ATTRIBUTE.t Ctypes.ptr ->
  Pkcs11.CK_ULONG.t ->
  Pkcs11.CK_OBJECT_HANDLE.t Ctypes.ptr ->
  Pkcs11.CK_OBJECT_HANDLE.t Ctypes.ptr ->
  Pkcs11.CK_RV.t

val c_WrapKey : 
  Pkcs11.CK_SESSION_HANDLE.t ->
  Pkcs11.CK_MECHANISM.t Ctypes.ptr ->
  Pkcs11.CK_OBJECT_HANDLE.t ->
  Pkcs11.CK_OBJECT_HANDLE.t ->
  Pkcs11.CK_BYTE.t Ctypes.ptr ->
  Pkcs11.CK_ULONG.t Ctypes.ptr ->
  Pkcs11.CK_RV.t

val c_UnwrapKey : 
  Pkcs11.CK_SESSION_HANDLE.t ->
  Pkcs11.CK_MECHANISM.t Ctypes.ptr ->
  Pkcs11.CK_OBJECT_HANDLE.t ->
  Pkcs11.CK_BYTE.t Ctypes.ptr ->
  Pkcs11.CK_ULONG.t ->
  Pkcs11.CK_ATTRIBUTE.t Ctypes.ptr ->
  Pkcs11.CK_ULONG.t ->
  Pkcs11.CK_OBJECT_HANDLE.t Ctypes.ptr ->
  Pkcs11.CK_RV.t

val c_DeriveKey : 
  Pkcs11.CK_SESSION_HANDLE.t ->
  Pkcs11.CK_MECHANISM.t Ctypes.ptr ->
  Pkcs11.CK_OBJECT_HANDLE.t ->
  Pkcs11.CK_ATTRIBUTE.t Ctypes.ptr ->
  Pkcs11.CK_ULONG.t ->
  Pkcs11.CK_OBJECT_HANDLE.t Ctypes.ptr ->
  Pkcs11.CK_RV.t

val c_SeedRandom : 
  Pkcs11.CK_SESSION_HANDLE.t ->
  Pkcs11.CK_BYTE.t Ctypes.ptr ->
  Pkcs11.CK_ULONG.t ->
  Pkcs11.CK_RV.t

val c_GenerateRandom : 
  Pkcs11.CK_SESSION_HANDLE.t ->
  Pkcs11.CK_BYTE.t Ctypes.ptr ->
  Pkcs11.CK_ULONG.t ->
  Pkcs11.CK_RV.t

val c_GetFunctionStatus : Pkcs11.CK_SESSION_HANDLE.t -> Pkcs11.CK_RV.t

val c_CancelFunction : Pkcs11.CK_SESSION_HANDLE.t -> Pkcs11.CK_RV.t

val c_WaitForSlotEvent : 
  Pkcs11.CK_FLAGS.t ->
  Pkcs11.CK_SLOT_ID.t Ctypes.ptr ->
  Pkcs11.CK_VOID.t Ctypes.ptr ->
  Pkcs11.CK_RV.t

package pkcs11-rev

Parameter Rev_bindings.X

Parameter `Rev_bindings.X`