Can it do holes like this?
(typep 3 '(or (integer 0 10) (integer 50 100)));; => T
You can use a "subtype predicate" for this: https://learn.adacore.com/courses/Ada_For_The_CPP_Java_Devel...
alt Hacker News
You can use a "subtype predicate" for this: https://learn.adacore.com/courses/Ada_For_The_CPP_Java_Devel...