set$QMARK_ function

bool set$QMARK_(dynamic x$1)

Implementation

dc.bool set$QMARK_(dc.dynamic x$1, ){
return ((lcoc_core.ISet.satisfies(x$1, )) as dc.bool);
}