fact: Fixpoint bytesToHexAux (b: seq BYTE) res := match b with b::bs => bytesToHexAux bs (String.String (nibbleToChar (high (n2:=4) 4 b)) ( String.String (nibbleToChar (low 4 b)) ( String.String (" "%char) res))) | nil => res end.
imports: Coq(ZArith.ZArith Strings.String) mathcomp.ssreflect.ssreflect mathcomp(ssrfun ssrbool eqtype ssrnat seq fintype tuple zmodp)