blob: 82eeec18316e343f1f11fe0c938535cf82355c06 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
(*Generated by Lem from bitstring.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_Bitstring_bitstring_dict =({
isEqual_method = (=);
isInequal_method = (fun l r->not (l = r))})
|
