path: root/cheri/sail_latexcc/sailccmax.tex

overload max = {max_atom, max_nat, max_int}