{
  "title": "Information Flow Control with Labeled Integers",
  "origin_url": "https://github.com/FStarLang/FStar/blob/master/doc/tutorial/code/LabeledCrypto.fst",
  "license_guess": "Apache-2.0",
  "code_sha256": "5539e8c254e630eb152d1e5849afb8739bdfdf1fc90284f183c5a3f890382cd4",
  "added_at": "2025-10-27T13:40:43Z"
}