at.jku.risc.stout.nau.data.atom

Interface HasSort<T extends Sort>