The big picture is that these two functions codice_10 and codice_55 were designed to simplify codice_42, but they clearly do not depend on the specifics of codice_42 in "any" way, just the codice_1 type.