Frama-C API - Parse_remarks
Parse skeleton files to add manually written comments to various parts of the report.
val get_remarks : Frama_c_kernel.Filepath.Normalized.t -> Frama_c_kernel.Markdown.element list Frama_c_kernel.Datatype.String.Map.tget_remarks f retrieves the elements associated to various sections of the report, referenced by their anchor.