$GT_0$QMARK_ function
dynamic
$GT_0$QMARK_(
- dynamic n$1
Implementation
dc.dynamic $GT_0$QMARK_(dc.dynamic n$1, ){
return (0<(n$1 as dc.num));
}
dc.dynamic $GT_0$QMARK_(dc.dynamic n$1, ){
return (0<(n$1 as dc.num));
}