{
  "title": "CashDispenser Account Class",
  "origin_url": "https://github.com/overturetool/example-packager/blob/master/core/src/test/resources/examples/VDM++/CashDispenser/Account.vdmpp",
  "license_guess": null,
  "code_sha256": "128a363b512834d82877c16b59d6c4eced0f45cb27d38120f0302d821b06e8b9",
  "added_at": "2026-02-23T12:00:00Z"
}