Frama-C:
Plug-ins:
Libraries:

Frama-C API - Properties

type tags = string list
type t = {
  1. tags : tags;
  2. additional_properties : Custom_properties.t;
}
val of_yojson : Yojson.Safe.t -> t Ppx_deriving_yojson_runtime.error_or
val create : Custom_properties.t -> t
val default : t