Replace String.string_dec by String.eqb
Probably not a huge optimization by avoid having some proof terms in the computations for the string comparisons.
Probably not a huge optimization by avoid having some proof terms in the computations for the string comparisons.