ivy/test/testout.ivy

#lang ivy1.7

action inp(x:bool) = {
    call out(x)
}

action out(x:bool)

export inp
import out