<html><head> <link rel="stylesheet" href="style.css" type="text/css"> <meta content="text/html; charset=iso-8859-1" http-equiv="Content-Type"> <link rel="Start" href="index.html"> <link title="Index of types" rel=Appendix href="index_types.html"> <link title="Index of values" rel=Appendix href="index_values.html"> <link title="Index of modules" rel=Appendix href="index_modules.html"> <link title="Index of module types" rel=Appendix href="index_module_types.html"> <link title="Crypt_3des" rel="Chapter" href="Crypt_3des.html"> <link title="Crypt_aux" rel="Chapter" href="Crypt_aux.html"> <link title="Crypt_blowfish" rel="Chapter" href="Crypt_blowfish.html"> <link title="Crypt_blowfish32" rel="Chapter" href="Crypt_blowfish32.html"> <link title="Crypt_des" rel="Chapter" href="Crypt_des.html"> <link title="Cryptmodes_64" rel="Chapter" href="Cryptmodes_64.html"> <link title="Cryptsystem_64" rel="Chapter" href="Cryptsystem_64.html"><title>Cryptsystem_64.T</title> </head> <body> <code class="code"><span class="keyword">sig</span><br> <span class="keyword">type</span> key<br> <span class="keyword">val</span> encrypt_ecb :<br> <span class="constructor">Cryptsystem_64</span>.<span class="constructor">T</span>.key <span class="keywordsign">-></span> int * int * int * int <span class="keywordsign">-></span> int * int * int * int<br> <span class="keyword">val</span> encrypt_ecb_int32 :<br> <span class="constructor">Cryptsystem_64</span>.<span class="constructor">T</span>.key <span class="keywordsign">-></span><br> int32 <span class="keywordsign">-></span> int32 <span class="keywordsign">-></span> int32 <span class="constructor">Pervasives</span>.ref <span class="keywordsign">-></span> int32 <span class="constructor">Pervasives</span>.ref <span class="keywordsign">-></span> unit<br> <span class="keyword">val</span> decrypt_ecb :<br> <span class="constructor">Cryptsystem_64</span>.<span class="constructor">T</span>.key <span class="keywordsign">-></span> int * int * int * int <span class="keywordsign">-></span> int * int * int * int<br> <span class="keyword">val</span> decrypt_ecb_int32 :<br> <span class="constructor">Cryptsystem_64</span>.<span class="constructor">T</span>.key <span class="keywordsign">-></span><br> int32 <span class="keywordsign">-></span> int32 <span class="keywordsign">-></span> int32 <span class="constructor">Pervasives</span>.ref <span class="keywordsign">-></span> int32 <span class="constructor">Pervasives</span>.ref <span class="keywordsign">-></span> unit<br> <span class="keyword">val</span> prepare : string <span class="keywordsign">-></span> <span class="constructor">Cryptsystem_64</span>.<span class="constructor">T</span>.key<br> <span class="keyword">val</span> textkey : <span class="constructor">Cryptsystem_64</span>.<span class="constructor">T</span>.key <span class="keywordsign">-></span> string<br> <span class="keyword">val</span> is_weak : <span class="constructor">Cryptsystem_64</span>.<span class="constructor">T</span>.key <span class="keywordsign">-></span> bool<br> <span class="keyword">end</span></code></body></html>