proc boraUpdate(search = ""; todasLasPalabras = true; seccion = 1; nroNorma = "";
anioNorma = ""; fecha = now().format("dd/MM/yyyy"); rubros = ""): seq[
string] {...}{.raises: [ValueError, Defect, IOError, OSError, JsonParsingError,
Exception, HttpRequestError, SslError, TimeoutError,
ProtocolError, KeyError, OverflowError, RegexError],
tags: [ReadIOEffect, WriteIOEffect, TimeEffect, RootEffect].}
proc updateInternal(data: string) {...}{.raises: [Defect, IOError, OSError, ValueError,
JsonParsingError, Exception, HttpRequestError, SslError, TimeoutError,
ProtocolError, KeyError, OverflowError, RegexError], tags: [ReadIOEffect,
WriteIOEffect, TimeEffect, RootEffect].}