gov.nasa.jpf.util

Interface TwoTypeComparator<T1,T2>