import { NormalEvaluator } from './normalevaluator'
import { ApplicativeEvaluator } from './applicativeevaluator'
import { OptimizeEvaluator } from './optimizeevaluator'
import { NormalAbstractionEvaluator } from './normalabstractionevaluator'

export { NormalEvaluator } from './normalevaluator'
export { ApplicativeEvaluator } from './applicativeevaluator'
export { OptimizeEvaluator } from './optimizeevaluator'
export { NormalAbstractionEvaluator } from './normalabstractionevaluator'

export type Evaluator = NormalEvaluator | ApplicativeEvaluator | OptimizeEvaluator | NormalAbstractionEvaluator