}
public SCLConstructor(String name, String className, TVar[] typeParameters, int constructorTag,
Type returnType,
Type ... parameterTypes) {
this(name, className, typeParameters, constructorTag, returnType,
}
public SCLConstructor(String name, String className, TVar[] typeParameters, int constructorTag,
Type returnType,
Type ... parameterTypes) {
this(name, className, typeParameters, constructorTag, returnType,