I need to verify that an expression is of the subtype of an imported type, as in this one:
But I do not know how to express it. I think I need to extend the base language by adding temporal types, and translate the types to e.g. java.time.* classes in the generator.
Is it possible to refer to those types directly?
Thanks in advance.