lean4-code-actions/libs/utils/check.ts

Refactorings and snippets for Lean 4

export interface Check {
  name: string,
  value: boolean
  date: Date
}

export function includes(checks: Check[], names: string[]) {
  for (const name of names) {
    const check = checks.find(c => c.name === name)
    if (!check) throw new Error(`Check not found: "${name}"`)
    if (!check.value) return false
  }
  return true
}