This may be a stupid question, but for the sake of completeness: can something like this be expressed?
sig C extends A, B {}
I’m not sure yet if this even can be useful at all, I’m just exploring alloy.
A signature may only extend one signature, but extension can completely be mimicked using in and additional facts. So, yes, you can use multiple inheritance with a bit of work.
1 Like