def Chan.send
import Base252# Done{} once the channel takes the value, Fail{value} if it is closed.
253def Chan.send(-A: Type, chan: Chan(A), value: A) -> IO(Result<&1, &1, A, Unit>):
254 import "./effs/chan.c"
255 import "./effs/chan.js"
import Base252# Done{} once the channel takes the value, Fail{value} if it is closed.
253def Chan.send(-A: Type, chan: Chan(A), value: A) -> IO(Result<&1, &1, A, Unit>):
254 import "./effs/chan.c"
255 import "./effs/chan.js"