package pkcs11-rev
Reverse bindings to pkcs11
Install
Dune Dependency
Authors
Maintainers
Sources
pkcs11-v1.0.1.tbz
sha256=db6bed28e4a75cb3787d0b6feca954a91c9e52e678b8cc73c1058975b1846946
sha512=f764b356cac3dd7718003a158f2a4dad7b8caae981930ab9cfa674a08ebcf3583c531bfcca9ddbb593d0c8e5a64b52381f8c9c702c3a0d0d44000727b095c47a
doc/pkcs11-rev._decl/Pkcs11_rev_decl/Rev_bindings/argument-1-X/index.html
Parameter Rev_bindings.X
val c_GetFunctionList :
Pkcs11.CK_FUNCTION_LIST.t Ctypes.ptr Ctypes.ptr ->
Pkcs11.CK_RV.tval c_Initialize : Pkcs11.CK_VOID.t Ctypes.ptr -> Pkcs11.CK_RV.tval c_Finalize : Pkcs11.CK_VOID.t Ctypes.ptr -> Pkcs11.CK_RV.tval c_GetInfo : Pkcs11.CK_INFO.t Ctypes.ptr -> Pkcs11.CK_RV.tval c_GetTokenInfo :
Pkcs11.CK_SLOT_ID.t ->
Pkcs11.CK_TOKEN_INFO.t Ctypes.ptr ->
Pkcs11.CK_RV.tval c_GetSlotList :
Pkcs11.CK_BBOOL.t ->
Pkcs11.CK_SLOT_ID.t Ctypes.ptr ->
Pkcs11.CK_ULONG.t Ctypes.ptr ->
Pkcs11.CK_RV.tval c_GetSlotInfo :
Pkcs11.CK_SLOT_ID.t ->
Pkcs11.CK_SLOT_INFO.t Ctypes.ptr ->
Pkcs11.CK_RV.tval c_GetMechanismList :
Pkcs11.CK_SLOT_ID.t ->
Pkcs11.CK_MECHANISM_TYPE.t Ctypes.ptr ->
Pkcs11.CK_ULONG.t Ctypes.ptr ->
Pkcs11.CK_RV.tval c_GetMechanismInfo :
Pkcs11.CK_SLOT_ID.t ->
Pkcs11.CK_MECHANISM_TYPE.t ->
Pkcs11.CK_MECHANISM_INFO.t Ctypes.ptr ->
Pkcs11.CK_RV.tval 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.tval c_InitPIN :
Pkcs11.CK_SESSION_HANDLE.t ->
Pkcs11.CK_UTF8CHAR.t Ctypes.ptr ->
Pkcs11.CK_ULONG.t ->
Pkcs11.CK_RV.tval 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.tval 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.tval c_CloseSession : Pkcs11.CK_SESSION_HANDLE.t -> Pkcs11.CK_RV.tval c_CloseAllSessions : Pkcs11.CK_SLOT_ID.t -> Pkcs11.CK_RV.tval c_GetSessionInfo :
Pkcs11.CK_SESSION_HANDLE.t ->
Pkcs11.CK_SESSION_INFO.t Ctypes.ptr ->
Pkcs11.CK_RV.tval c_GetOperationState :
Pkcs11.CK_SESSION_HANDLE.t ->
Pkcs11.CK_BYTE.t Ctypes.ptr ->
Pkcs11.CK_ULONG.t Ctypes.ptr ->
Pkcs11.CK_RV.tval 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.tval 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.tval c_Logout : Pkcs11.CK_SESSION_HANDLE.t -> Pkcs11.CK_RV.tval 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.tval 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.tval c_DestroyObject :
Pkcs11.CK_SESSION_HANDLE.t ->
Pkcs11.CK_OBJECT_HANDLE.t ->
Pkcs11.CK_RV.tval c_GetObjectSize :
Pkcs11.CK_SESSION_HANDLE.t ->
Pkcs11.CK_OBJECT_HANDLE.t ->
Pkcs11.CK_ULONG.t Ctypes.ptr ->
Pkcs11.CK_RV.tval 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.tval 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.tval c_FindObjectsInit :
Pkcs11.CK_SESSION_HANDLE.t ->
Pkcs11.CK_ATTRIBUTE.t Ctypes.ptr ->
Pkcs11.CK_ULONG.t ->
Pkcs11.CK_RV.tval 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.tval c_FindObjectsFinal : Pkcs11.CK_SESSION_HANDLE.t -> Pkcs11.CK_RV.tval c_EncryptInit :
Pkcs11.CK_SESSION_HANDLE.t ->
Pkcs11.CK_MECHANISM.t Ctypes.ptr ->
Pkcs11.CK_OBJECT_HANDLE.t ->
Pkcs11.CK_RV.tval 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.tval 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.tval c_EncryptFinal :
Pkcs11.CK_SESSION_HANDLE.t ->
Pkcs11.CK_BYTE.t Ctypes.ptr ->
Pkcs11.CK_ULONG.t Ctypes.ptr ->
Pkcs11.CK_RV.tval c_DecryptInit :
Pkcs11.CK_SESSION_HANDLE.t ->
Pkcs11.CK_MECHANISM.t Ctypes.ptr ->
Pkcs11.CK_OBJECT_HANDLE.t ->
Pkcs11.CK_RV.tval 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.tval 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.tval c_DecryptFinal :
Pkcs11.CK_SESSION_HANDLE.t ->
Pkcs11.CK_BYTE.t Ctypes.ptr ->
Pkcs11.CK_ULONG.t Ctypes.ptr ->
Pkcs11.CK_RV.tval c_DigestInit :
Pkcs11.CK_SESSION_HANDLE.t ->
Pkcs11.CK_MECHANISM.t Ctypes.ptr ->
Pkcs11.CK_RV.tval 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.tval c_DigestUpdate :
Pkcs11.CK_SESSION_HANDLE.t ->
Pkcs11.CK_BYTE.t Ctypes.ptr ->
Pkcs11.CK_ULONG.t ->
Pkcs11.CK_RV.tval c_DigestKey :
Pkcs11.CK_SESSION_HANDLE.t ->
Pkcs11.CK_OBJECT_HANDLE.t ->
Pkcs11.CK_RV.tval c_DigestFinal :
Pkcs11.CK_SESSION_HANDLE.t ->
Pkcs11.CK_BYTE.t Ctypes.ptr ->
Pkcs11.CK_ULONG.t Ctypes.ptr ->
Pkcs11.CK_RV.tval c_SignInit :
Pkcs11.CK_SESSION_HANDLE.t ->
Pkcs11.CK_MECHANISM.t Ctypes.ptr ->
Pkcs11.CK_OBJECT_HANDLE.t ->
Pkcs11.CK_RV.tval 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.tval c_SignUpdate :
Pkcs11.CK_SESSION_HANDLE.t ->
Pkcs11.CK_BYTE.t Ctypes.ptr ->
Pkcs11.CK_ULONG.t ->
Pkcs11.CK_RV.tval c_SignFinal :
Pkcs11.CK_SESSION_HANDLE.t ->
Pkcs11.CK_BYTE.t Ctypes.ptr ->
Pkcs11.CK_ULONG.t Ctypes.ptr ->
Pkcs11.CK_RV.tval c_SignRecoverInit :
Pkcs11.CK_SESSION_HANDLE.t ->
Pkcs11.CK_MECHANISM.t Ctypes.ptr ->
Pkcs11.CK_OBJECT_HANDLE.t ->
Pkcs11.CK_RV.tval 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.tval c_VerifyInit :
Pkcs11.CK_SESSION_HANDLE.t ->
Pkcs11.CK_MECHANISM.t Ctypes.ptr ->
Pkcs11.CK_OBJECT_HANDLE.t ->
Pkcs11.CK_RV.tval 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.tval c_VerifyUpdate :
Pkcs11.CK_SESSION_HANDLE.t ->
Pkcs11.CK_BYTE.t Ctypes.ptr ->
Pkcs11.CK_ULONG.t ->
Pkcs11.CK_RV.tval c_VerifyFinal :
Pkcs11.CK_SESSION_HANDLE.t ->
Pkcs11.CK_BYTE.t Ctypes.ptr ->
Pkcs11.CK_ULONG.t ->
Pkcs11.CK_RV.tval c_VerifyRecoverInit :
Pkcs11.CK_SESSION_HANDLE.t ->
Pkcs11.CK_MECHANISM.t Ctypes.ptr ->
Pkcs11.CK_OBJECT_HANDLE.t ->
Pkcs11.CK_RV.tval 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.tval 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.tval 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.tval 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.tval 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.tval 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.tval 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.tval 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.tval c_SeedRandom :
Pkcs11.CK_SESSION_HANDLE.t ->
Pkcs11.CK_BYTE.t Ctypes.ptr ->
Pkcs11.CK_ULONG.t ->
Pkcs11.CK_RV.tval c_GenerateRandom :
Pkcs11.CK_SESSION_HANDLE.t ->
Pkcs11.CK_BYTE.t Ctypes.ptr ->
Pkcs11.CK_ULONG.t ->
Pkcs11.CK_RV.tval c_GetFunctionStatus : Pkcs11.CK_SESSION_HANDLE.t -> Pkcs11.CK_RV.tval c_CancelFunction : Pkcs11.CK_SESSION_HANDLE.t -> Pkcs11.CK_RV.tval c_WaitForSlotEvent :
Pkcs11.CK_FLAGS.t ->
Pkcs11.CK_SLOT_ID.t Ctypes.ptr ->
Pkcs11.CK_VOID.t Ctypes.ptr ->
Pkcs11.CK_RV.t