space.qi.idl

package space

interface Bomb
        sig boom(energy: int32)
        prop delay(duration: int32)
end

interface Spacecraft
        fn shoot() -> Bomb
        fn ammo(ammo: Bomb)
end