CLASS

GenJava7$1FwrapHigher_28257$1$7

Fully qualified name:	frege.compiler.GenJava7$1FwrapHigher_28257$1$7
Containing JAR files:	JAR frege-3.22.367-g2737683.jar in com/theoryinpractise/frege/frege/3.22.367-g2737683 Java 8 JAR frege-3.23.401-g7c45277.jar in org/frege-lang/frege/3.23.401-g7c45277 Latest JAR frege-3.22.367-g2737683.jar in org/frege-lang/frege/3.22.367-g2737683