Chan.recv: def of Base
Import: import Base
Lines 257-260 of Base/base.bend: https://jend.leeeet.dev/read.txt?path=Base/base.bend&start_line=257&end_line=260

import Base

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

Uses (3):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Chan
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe