module type Filepath_list =List
with type elt = Datatype.Filepath.t and type t = Datatype.Filepath.t list
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