// Class that is implicitly defined:
public class Sbasdb {
    int ab;
    String pk;

    Sbasdb(int ab, String pk)
        this.ab = ab;
        this.pk = pk;
    }
}


// List of Sbasdb instances
Sbasdb AOBIH = new Sbasdb(5, "iaob");
Sbasdb OCVUY = new Sbasdb(15, "rbn");
/* Snip all other Sbasdb that have any int and String in accordance with the semantics defined
   by Sbasdb and that would logically be a Sbasdb */
Sbasdb TIRMX = new Sbasdb(8907, "oidfyngbiuxny");

// The type of `Sbasdb`s I will accept out of the potentially infinite Sbasdb instances:
public enum SbasdbType {
    AOBIH  (5, "iaob"),
    TIRMX  (8907, "oidfyngbiuxny");
}