package test

public open class AnnotationWithArithmeticExpressionInParam : java.lang.Object {
    public constructor AnnotationWithArithmeticExpressionInParam()
    
    public final annotation class Anno : jet.Annotation {
        public constructor Anno(/*0*/ value: jet.Int)
        public abstract fun value(): jet.Int
    }
    
    test.AnnotationWithArithmeticExpressionInParam.Anno(value = 42.toInt(): jet.Int) public open class Class : java.lang.Object {
        public constructor Class()
    }
}