summaryrefslogtreecommitdiff
path: root/src/hashFFI.urs
diff options
context:
space:
mode:
Diffstat (limited to 'src/hashFFI.urs')
-rw-r--r--src/hashFFI.urs5
1 files changed, 5 insertions, 0 deletions
diff --git a/src/hashFFI.urs b/src/hashFFI.urs
index f9c6ba5..63d01f6 100644
--- a/src/hashFFI.urs
+++ b/src/hashFFI.urs
@@ -14,3 +14,8 @@ specific language governing permissions and limitations under the License. *)
val md5 : blob -> string
val sha1 : blob -> string
+
+val sha224 : blob -> string
+val sha256 : blob -> string
+val sha384 : blob -> string
+val sha512 : blob -> string \ No newline at end of file