To reference or cite the objects present in the Software Heritage archive, permalinks based on SoftWare Hash IDentifiers (SWHIDs) must be used. Select below a type of object currently browsed in order to display its associated SWHID and permalink.
swh:1:cnt:153a0b22cead32119d397a29b0e5231bdfe9a0b4
swh:1:dir:4f7030862e804fb674e63df9a580cd1fe30f6ff4
swh:1:rev:cda4560576f3b975008fe892fe4fcaaaa71019fe
swh:1:snp:aeaf3dbb58f5be84b565e73b5ade1503ee8cb6d6
let rec app f x = if Random.bool () then app f (x + 1) else f x let check x y = if x <= y then () else assert false let main i = app (check i) i