/FileExtraction/Java_unseen/thomasrebele_bashlog/src/main/java/bashlog/translation/BashTranslator.java
package bashlog.translation;


import bashlog.command.Bash;

/** Interface for bashlog translators ("type alias") */
public interface BashTranslator extends common.compiler.Translator<Bash, bashlog.CompilerInternals> {

}
