import { SupplyCard } from "../dominion/supply-card" ; import { SupplyDivision } from "./supply-division" ; export interface SupplyCorrection { isSatisfied ( divisions ) : boolean ; allowLockedCard ( divisions , card ) : boolean ; correctDivisions ( divisions ) : SupplyDivision [ ] ; }