pub fn proc_decl(node: &ProcDecl) -> String
Render one procedure, for a caller assembling a codec file.