Skip to main content
Link
Menu
Expand
(external link)
Document
Search
Copy
Copied
Home
Tutorials
Quick start
While tutorial
Types tutorial
Publications
STTT'26
PLDI'25
OOPSLA'24
SAS'24
PLDI'24
POPL'23
VMCAI'22
RTAS'21
API
binsec_codex
codex
cudd
frama_c_codex
patricia-tree
union-find-lattice
Jobs and Contact
Search Codex
Repository
API
union-find-lattice
Union_Find_Lattice
Valued
ArrayWithCopy
argument-1-Config
Parameter
ArrayWithCopy.Config
val
path_compression :
[ `Lazy
| `None
]
Should find perform path compression