aqua/aqua-src/antithesis.aqua

aqua Main

export main

service Srv("srv"):
    call(x: i32) -> i32

func main(a: i32, b: i32) -> i32:
    res: *i32
    if a > b:
        on "peer" via "relay":
            res <- Srv.call(a)

    <- res!