Frama-C API - MultiformatMessageStringDictionary
type t = MultiformatMessageString.t dictval of_yojson : Yojson.Safe.t -> t Ppx_deriving_yojson_runtime.error_orval to_yojson : t -> Yojson.Safe.t
Frama-C Frama-C MultiformatMessageStringDictionarytype t = MultiformatMessageString.t dictval of_yojson : Yojson.Safe.t -> t Ppx_deriving_yojson_runtime.error_orval to_yojson : t -> Yojson.Safe.t