package church.lang;

@SuppressWarnings("unchecked")
public class JavaClasses {
    public static interface $Java_class<T> {
        public Class<T> java_class();
    }

}