Chan.close: def of Base Import: import Base Lines 272-274 of Base/base.bend: https://jend.leeeet.dev/read.txt?path=Base/base.bend&start_line=272&end_line=274 import Base def Chan.close(-A: Type, chan: Chan(A)) -> IO(Unit): 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=Unit