Function isCheckInvocation

packages/language/src/utils.ts:446–448

(node: AstNode)

// TODO: move to policy plugin
export function isCheckInvocation(node: AstNode) {
    return isInvocationExpr(node) && node.function.ref?.name === 'check';
}

/**
 * Resolves the transitive imports of the given model and returns the list of imported models. The given model itself is not included in the result.