Module Parse_remarks

module Parse_remarks: sig .. end

Parse skeleton files to add manually written comments to various parts of the report.


val get_remarks : string -> Markdown.element list Datatype.String.Map.t

get_remarks f retrieves the elements associated to various sections of the report, referenced by their anchor.