package ca.mcgill.ecse.dslreasoner.vampire.reasoner.builder;

@SuppressWarnings("all")
public interface Logic2VampireLanguageMapper_TypeMapperTrace {
}