tnat

This algorithm completely hides the implementation details of Backend and ternary. Sum. Aux and all the rest from the user,…

function, tnat, typelevel