Module Kernel.JsonCompilationDatabase

module JsonCompilationDatabase: Parameter_sig.Filepath 

Behavior of option "-json-compilation-database"


include Parameter_sig.S
val is_empty : unit -> bool

Whether the Filepath is empty.