blob: b2c52f0665876a196dc852dfd4f2b768c1d30c71 (
plain)
1
2
3
4
5
6
7
8
9
|
Require Import Coq.Strings.Ascii Coq.Strings.String.
Require Import Crypto.Util.Bool.Equality.
Require Import Crypto.Util.Notations.
Scheme Equality for ascii.
Scheme Equality for string.
Infix "=?" := ascii_beq : char_scope.
Infix "=?" := string_beq : string_scope.
|
