Frama-C:
Plug-ins:
Libraries:

Frama-C API - With_Top_Opt

type t
val top_opt : t option

optional largest element