Frama-C API - X
Unique name for this datatype. If the name is a valid ocaml module name, then it must really corresponds to the module name you are defining by applying the functor. Otherwise, put the name you want as long as it does not clash with any other datatype name.
All the above operations have the same semantics than the corresponding value specified in module type S
.
val structural_descr : Structural_descr.t
val reprs : t list
Must be non-empty.
val hash : t -> int
val pretty : Stdlib.Format.formatter -> t -> unit
val mem_project : (Project_skeleton.t -> bool) -> t -> bool