inferno-os tree was separated from the inferno-os-android (separated from the Android driver)

1 files changed, 7 insertions, 0 deletions

diff --git a/module/bloomfilter.m b/module/bloomfilter.m
new file mode 100644
index 0000000..d33b656
--- /dev/null
+++ b/module/bloomfilter.m
@@ -0,0 +1,7 @@
+Bloomfilter: module {
+	PATH:	con "/dis/lib/bloomfilter.dis";
+	init:		fn();
+	# logm is log base 2 of the number of bits in the bloom filter.
+	# k is number of independent hashes of d that are entered into the filter.
+	filter:	fn(d: array of byte, logm, k: int): Sets->Set;
+};