blob: 83f5e476d51f4663addd20ea22cf387dfbfb7990 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
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))})
|
