harn-stdlib 0.10.182

Embedded Harn standard library source catalog
Documentation
/**
 * Generated by scripts/generate_cli_localization.mjs. Do not edit.
 * Render one registered CLI message from literal argument values.
 * @effects: []
 * @errors: ["CLI localization argument count does not match its registered template"]
 */
pub fn message_10(locale: string, values: list<string>) -> string {
  if len(values) != 5 {
    throw "CLI localization argument count does not match its registered template"
  }
  if locale == "de" {
    return "  Datensatzabdeckung: text_tool_rows=" + (values[0] ?? "") + " native_tool_rows="
      + (values[1] ?? "")
      + " no_tool_rows="
      + (values[2] ?? "")
      + " parallel_rows="
      + (values[3] ?? "")
      + " multi_turn_rows="
      + (values[4] ?? "")
  }
  if locale == "es" {
    return "  cobertura del conjunto de datos: text_tool_rows=" + (values[0] ?? "")
      + " native_tool_rows="
      + (values[1] ?? "")
      + " no_tool_rows="
      + (values[2] ?? "")
      + " parallel_rows="
      + (values[3] ?? "")
      + " multi_turn_rows="
      + (values[4] ?? "")
  }
  if locale == "fr" {
    return "  couverture du jeu de données : text_tool_rows=" + (values[0] ?? "")
      + " native_tool_rows="
      + (values[1] ?? "")
      + " no_tool_rows="
      + (values[2] ?? "")
      + " parallel_rows="
      + (values[3] ?? "")
      + " multi_turn_rows="
      + (values[4] ?? "")
  }
  if locale == "it" {
    return "  copertura del dataset: text_tool_rows=" + (values[0] ?? "") + " native_tool_rows="
      + (values[1] ?? "")
      + " no_tool_rows="
      + (values[2] ?? "")
      + " parallel_rows="
      + (values[3] ?? "")
      + " multi_turn_rows="
      + (values[4] ?? "")
  }
  if locale == "ja" {
    return "  データセットカバレッジ: text_tool_rows=" + (values[0] ?? "") + " native_tool_rows="
      + (values[1] ?? "")
      + " no_tool_rows="
      + (values[2] ?? "")
      + " parallel_rows="
      + (values[3] ?? "")
      + " multi_turn_rows="
      + (values[4] ?? "")
  }
  if locale == "ko" {
    return "  데이터셋 커버리지: text_tool_rows=" + (values[0] ?? "") + " native_tool_rows="
      + (values[1] ?? "")
      + " no_tool_rows="
      + (values[2] ?? "")
      + " parallel_rows="
      + (values[3] ?? "")
      + " multi_turn_rows="
      + (values[4] ?? "")
  }
  if locale == "pt-BR" {
    return "  cobertura do conjunto de dados: text_tool_rows=" + (values[0] ?? "")
      + " native_tool_rows="
      + (values[1] ?? "")
      + " no_tool_rows="
      + (values[2] ?? "")
      + " parallel_rows="
      + (values[3] ?? "")
      + " multi_turn_rows="
      + (values[4] ?? "")
  }
  if locale == "zh-Hans" {
    return "  数据集覆盖:text_tool_rows=" + (values[0] ?? "") + " native_tool_rows="
      + (values[1] ?? "")
      + " no_tool_rows="
      + (values[2] ?? "")
      + " parallel_rows="
      + (values[3] ?? "")
      + " multi_turn_rows="
      + (values[4] ?? "")
  }
  return "  dataset coverage: text_tool_rows=" + (values[0] ?? "") + " native_tool_rows="
    + (values[1] ?? "")
    + " no_tool_rows="
    + (values[2] ?? "")
    + " parallel_rows="
    + (values[3] ?? "")
    + " multi_turn_rows="
    + (values[4] ?? "")
}

/**
 * Render one registered CLI message from literal argument values.
 * @effects: []
 * @errors: ["CLI localization argument count does not match its registered template"]
 */
pub fn message_11(locale: string, values: list<string>) -> string {
  if len(values) != 1 {
    throw "CLI localization argument count does not match its registered template"
  }
  if locale == "de" {
    return "  Datensatzformat: " + (values[0] ?? "")
  }
  if locale == "es" {
    return "  formato del conjunto de datos: " + (values[0] ?? "")
  }
  if locale == "fr" {
    return "  format du jeu de données : " + (values[0] ?? "")
  }
  if locale == "it" {
    return "  formato del dataset: " + (values[0] ?? "")
  }
  if locale == "ja" {
    return "  データセット形式: " + (values[0] ?? "")
  }
  if locale == "ko" {
    return "  데이터셋 형식: " + (values[0] ?? "")
  }
  if locale == "pt-BR" {
    return "  formato do conjunto de dados: " + (values[0] ?? "")
  }
  if locale == "zh-Hans" {
    return "  数据集格式:" + (values[0] ?? "")
  }
  return "  dataset format: " + (values[0] ?? "")
}

/**
 * Render one registered CLI message from literal argument values.
 * @effects: []
 * @errors: ["CLI localization argument count does not match its registered template"]
 */
pub fn message_12(locale: string, values: list<string>) -> string {
  if len(values) != 3 {
    throw "CLI localization argument count does not match its registered template"
  }
  if locale == "de" {
    return "  Datensatzreparaturen: schema_repaired=" + (values[0] ?? "") + " unavailable_tool="
      + (values[1] ?? "")
      + " tool_result_rows="
      + (values[2] ?? "")
  }
  if locale == "es" {
    return "  reparaciones del conjunto de datos: schema_repaired=" + (values[0] ?? "")
      + " unavailable_tool="
      + (values[1] ?? "")
      + " tool_result_rows="
      + (values[2] ?? "")
  }
  if locale == "fr" {
    return "  réparations du jeu de données : schema_repaired=" + (values[0] ?? "")
      + " unavailable_tool="
      + (values[1] ?? "")
      + " tool_result_rows="
      + (values[2] ?? "")
  }
  if locale == "it" {
    return "  correzioni del dataset: schema_repaired=" + (values[0] ?? "") + " unavailable_tool="
      + (values[1] ?? "")
      + " tool_result_rows="
      + (values[2] ?? "")
  }
  if locale == "ja" {
    return "  データセット修復: schema_repaired=" + (values[0] ?? "") + " unavailable_tool="
      + (values[1] ?? "")
      + " tool_result_rows="
      + (values[2] ?? "")
  }
  if locale == "ko" {
    return "  데이터셋 복구: schema_repaired=" + (values[0] ?? "") + " unavailable_tool="
      + (values[1] ?? "")
      + " tool_result_rows="
      + (values[2] ?? "")
  }
  if locale == "pt-BR" {
    return "  reparos no conjunto de dados: schema_repaired=" + (values[0] ?? "")
      + " unavailable_tool="
      + (values[1] ?? "")
      + " tool_result_rows="
      + (values[2] ?? "")
  }
  if locale == "zh-Hans" {
    return "  数据集修复:schema_repaired=" + (values[0] ?? "") + " unavailable_tool="
      + (values[1] ?? "")
      + " tool_result_rows="
      + (values[2] ?? "")
  }
  return "  dataset repairs: schema_repaired=" + (values[0] ?? "") + " unavailable_tool="
    + (values[1] ?? "")
    + " tool_result_rows="
    + (values[2] ?? "")
}

/**
 * Render one registered CLI message from literal argument values.
 * @effects: []
 * @errors: ["CLI localization argument count does not match its registered template"]
 */
pub fn message_13(locale: string, values: list<string>) -> string {
  if len(values) != 1 {
    throw "CLI localization argument count does not match its registered template"
  }
  if locale == "de" {
    return "  max_seq_length: " + (values[0] ?? "")
  }
  if locale == "es" {
    return "  max_seq_length: " + (values[0] ?? "")
  }
  if locale == "fr" {
    return "  max_seq_length : " + (values[0] ?? "")
  }
  if locale == "it" {
    return "  max_seq_length: " + (values[0] ?? "")
  }
  if locale == "ja" {
    return "  max_seq_length: " + (values[0] ?? "")
  }
  if locale == "ko" {
    return "  max_seq_length: " + (values[0] ?? "")
  }
  if locale == "pt-BR" {
    return "  max_seq_length: " + (values[0] ?? "")
  }
  if locale == "zh-Hans" {
    return "  max_seq_length: " + (values[0] ?? "")
  }
  return "  max_seq_length: " + (values[0] ?? "")
}

/**
 * Render one registered CLI message from literal argument values.
 * @effects: []
 * @errors: ["CLI localization argument count does not match its registered template"]
 */
pub fn message_14(locale: string, values: list<string>) -> string {
  if len(values) != 1 {
    throw "CLI localization argument count does not match its registered template"
  }
  if locale == "de" {
    return "  Ausgabeverzeichnis: " + (values[0] ?? "")
  }
  if locale == "es" {
    return "  dir de salida: " + (values[0] ?? "")
  }
  if locale == "fr" {
    return "  répertoire de sortie : " + (values[0] ?? "")
  }
  if locale == "it" {
    return "  dir di output: " + (values[0] ?? "")
  }
  if locale == "ja" {
    return "  出力ディレクトリ: " + (values[0] ?? "")
  }
  if locale == "ko" {
    return "  출력 dir: " + (values[0] ?? "")
  }
  if locale == "pt-BR" {
    return "  output dir: " + (values[0] ?? "")
  }
  if locale == "zh-Hans" {
    return "  输出目录: " + (values[0] ?? "")
  }
  return "  output dir: " + (values[0] ?? "")
}