module Files:Parameter_sig.Filepath_list
Analyzed files
List of files to analyse
include Parameter_sig.Collection
A list is a collection.
val append_before : t -> unit
append a list in front of the current state
val append_after : t -> unit
append a list at the end of the current state