Frama-C API - ArtifactLocationDictionary
type t = ArtifactLocation.t dictval of_yojson : Yojson.Safe.t -> t Ppx_deriving_yojson_runtime.error_orval to_yojson : t -> Yojson.Safe.t
Frama-C Frama-C ArtifactLocationDictionarytype t = ArtifactLocation.t dictval of_yojson : Yojson.Safe.t -> t Ppx_deriving_yojson_runtime.error_orval to_yojson : t -> Yojson.Safe.t