Skip to content

Replace String.string_dec by String.eqb

Guillaume Claret requested to merge guillaume-claret@use-string-eqb into dev

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

Merge request reports