models.book.appendixA.phones.als Maven / Gradle / Ivy
module appendixA/phones
sig Phone {
requests: set Phone,
connects: lone Phone
}
© 2015 - 2025 Weber Informatics LLC | Privacy Policy
module appendixA/phones
sig Phone {
requests: set Phone,
connects: lone Phone
}