findJAR.com

Java Class

StateRefinement$Multiple

Fully qualified name:	liquidjava.specification.StateRefinement$Multiple
Containing JAR files:	[JAR] liquidjava-api-0.0.7.jar in io/github/liquid-java/liquidjava-api/0.0.7 [JAR] liquidjava-verifier-0.0.32.jar in io/github/liquid-java/liquidjava-verifier/0.0.32