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