Enum LtlTranslationRepository.LtlToDraTranslation