method-first-param-not-self1.tact

primitive Int;
primitive Bool;

trait BaseTrait {
    
}

extends fun inc(a: Int): Int {
    return a + 1;
}