def Chan.recv
import Base257# Some{value}, or None{} once the channel is closed and drained.
258def Chan.recv(-A: Type, chan: Chan(A)) -> IO(Maybe<&1, A>):
259 import "./effs/chan.c"
260 import "./effs/chan.js"
import Base257# Some{value}, or None{} once the channel is closed and drained.
258def Chan.recv(-A: Type, chan: Chan(A)) -> IO(Maybe<&1, A>):
259 import "./effs/chan.c"
260 import "./effs/chan.js"