pos_int$QMARK_ function

bool pos_int$QMARK_(dynamic x$1)

Implementation

dc.bool pos_int$QMARK_(dc.dynamic x$1, ){
final dc.bool and$7468_$AUTO_$1=(x$1 is dc.int);
if(and$7468_$AUTO_$1){
return (0<(x$1 as dc.num));
}
return and$7468_$AUTO_$1;
}