Function down 

pub fn down(to: Val, result: Val) -> Val

('task-down addr . result), where result is (ok . v), (throw . v), (throw . noproc) for a task already gone when the monitor was set, or (throw . noconnection) for one behind a link that died.