{- Input/output modalities for channel types -}

def server () : !Int = 
(
  new c : ^Int 
  run c? msg = printi! msg 
  c
) 

val x = (server) 
run (x! 10 | x! 20)

{-
run x?v =(printi! v | print! "eavesdropped value!")
-}