1 files changed, 17 insertions, 0 deletions
diff --git a/src/elf_model/bytestring.ml b/src/elf_model/bytestring.ml
new file mode 100644
index 00000000..83f5e476
--- /dev/null
+++ b/src/elf_model/bytestring.ml
@@ -0,0 +1,17 @@
+(*Generated by Lem from bytestring.lem.*)
+open Lem_basic_classes
+open Lem_bool
+open Lem_num
+
+(*type bitstring*)
+
+(*val length    : bitstring -> nat*)
+(*val partition : nat -> bitstring -> (bitstring * bitstring)*)
+
+(*val equal     : bitstring -> bitstring -> bool*)
+
+let instance_Basic_classes_Eq_Bytestring_bitstring_dict =({
+
+  isEqual_method = (=);
+
+  isInequal_method = (fun l r->not (l = r))})