Module Json_compilation_database

module Json_compilation_database: sig .. end
get_flags f returns the preprocessing flags associated to file f in the JSON compilation database (when enabled), or the empty string otherwise. If not empty, the flags always start with a space.

val get_flags : Datatype.Filepath.t -> string list