fact: Definition appendNibbleOnString n s := (s ++ String.String (nibbleToChar n) EmptyString)%string.
imports: Coq(ZArith.ZArith Strings.String) mathcomp.ssreflect.ssreflect mathcomp(ssrfun ssrbool eqtype ssrnat seq fintype tuple zmodp)