Frama-C API - Make_input
Input signature of Make
and Make_with_collections
. Values to implement in order to get a datatype. Feel free to use easy builders (see above) for easy implementation.
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