Procs

proc checkHr(hr: int32; msg: string) {....raises: [Exception, KeyError], tags: [],
                                       forbids: [].}

Source   Edit  

proc messageHr(hr: int32; msg: string): string {....raises: [KeyError], tags: [],
    forbids: [].}

Source   Edit