Function isSliceEntry

scripts/fungrim/compile-rules.ts:151–158

(e: Entry)

// ---------------------------------------------------------------------------
// Slice selection
// ---------------------------------------------------------------------------

export function isSliceEntry(e: Entry): boolean {
  return (
    (e.class === 'specific-value' || e.class === 'identity') &&
    (e.guardLevel === 'none' ||
      e.guardLevel === 'real-simple' ||
      e.guardLevel === 'complex-domain')
  );
}