(*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))})