package ca.mcgill.ecse.dslreasoner.vampire.reasoner.builder; @SuppressWarnings("all") public interface VampireModelInterpretation_TypeInterpretation { }