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

@SuppressWarnings("all")
public enum TypeMappingTechnique {
  FilteredTypes;
}