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