lean4-code-actions
Version:
Refactorings and snippets for Lean 4
10 lines (7 loc) • 319 B
text/typescript
import { GenericCommand } from './GenericCommand'
/**
* Internal command requires both runModel and runReal to return an object of Model type
*/
// eslint-disable-next-line @typescript-eslint/ban-types
export abstract class InternalCommand<Model extends object, Real> extends GenericCommand<Model, Real, Model> {
}