Frama-C:
Plug-ins:
Libraries:

Frama-C API - Serializable_undefined

Same as Undefined, but the type is supposed to be marshallable by the standard OCaml way (in particular, no hash-consing or projects inside the type).

val structural_descr : Structural_descr.t
val equal : 'a -> 'a -> bool
val compare : 'a -> 'a -> int
val hash : 'a -> int
val rehash : 'a -> 'a
val copy : 'a -> 'a
val pretty : Stdlib.Format.formatter -> 'a -> unit
val mem_project : (Project_skeleton.t -> bool) -> 'a -> bool