Skip to main content
Link
Menu
Expand
(external link)
Document
Search
Copy
Copied
Home
Tutorials
Quick start
While tutorial
Types tutorial
Publications
PLDI'25
OOPSLA'24
SAS'24
PLDI'24
POPL'23
VMCAI'22
RTAS'21
API
binsec_codex
codex
cudd
frama_c_codex
patricia-tree
Jobs and Contact
Repository
API
binsec_codex
Binsec_codex_lib
Codex_options
Builder
Any_opt
argument-1-P
Parameter
Any_opt.P
val
name : string
val
doc : string
type
t
val
of_string :
string
->
t