1 2 3 4 5 6 7 8 9 10 11 12 13
package my:resources; interface e1 { resource x { fun: func() -> tuple<x>; } } world resources { import e2: interface { use e1.{x}; use-res: func() -> x; } }