package dirsp-exchange-kbb2017

You can search for identifiers within the package.

in-package search v0.2.0

dirsp-exchange-kbb2017
- Dirsp_exchange_kbb2017
  - Make
    
    HANDLE
    
    ProScript
    
    Crypto
    
    ED25519
    
    Encoding
    
    RATCHET
    
    TOPLEVEL
    
    Type_iv
    
    Type_key
    
    Type_keypair
    
    Type_msg
    
    Type_recvoutput
    
    Type_sendoutput
    
    Type_them
    
    UTIL

Legend:
Library
Module
Module type
Parameter
Class
Class type

KBB2017 session update logic

val xAKENeeded : 
  t Dirsp_exchange_kbb2017__.Kobeissi_bhargavan_blanchet_intf.record_keypair ->
  t Dirsp_exchange_kbb2017__.Kobeissi_bhargavan_blanchet_intf.record_keypair ->
  t Dirsp_exchange_kbb2017__.Kobeissi_bhargavan_blanchet_intf.record_them ->
  t Dirsp_exchange_kbb2017__.Kobeissi_bhargavan_blanchet_intf.record_them

val xAKEInit : 
  t Dirsp_exchange_kbb2017__.Kobeissi_bhargavan_blanchet_intf.record_keypair ->
  t Dirsp_exchange_kbb2017__.Kobeissi_bhargavan_blanchet_intf.record_keypair ->
  t Dirsp_exchange_kbb2017__.Kobeissi_bhargavan_blanchet_intf.record_them ->
  t Dirsp_exchange_kbb2017__.Kobeissi_bhargavan_blanchet_intf.record_msg ->
  t Dirsp_exchange_kbb2017__.Kobeissi_bhargavan_blanchet_intf.record_them

val sending : 
  t Dirsp_exchange_kbb2017__.Kobeissi_bhargavan_blanchet_intf.record_keypair ->
  t Dirsp_exchange_kbb2017__.Kobeissi_bhargavan_blanchet_intf.record_them ->
  t ->
  t ->
  t Dirsp_exchange_kbb2017__.Kobeissi_bhargavan_blanchet_intf.record_sendoutput

val receiving : 
  t Dirsp_exchange_kbb2017__.Kobeissi_bhargavan_blanchet_intf.record_keypair ->
  t Dirsp_exchange_kbb2017__.Kobeissi_bhargavan_blanchet_intf.record_them ->
  t Dirsp_exchange_kbb2017__.Kobeissi_bhargavan_blanchet_intf.record_msg ->
  t Dirsp_exchange_kbb2017__.Kobeissi_bhargavan_blanchet_intf.record_recvoutput