{
  "title": "GCD (Greatest Common Divisor)",
  "origin_url": "https://compcert.org/doc/html/compcert.common.AST.html",
  "license_guess": null,
  "code_sha256": "5bce272707de19154f2a78bed7499b8c4cb1fae47a69dcf466fed01d9ec8f356",
  "added_at": "2026-03-06T10:00:00Z"
}