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 mem_project : (Project_skeleton.t -> bool) -> 'a -> bool