Previous  Up  Next

Module type Parameter_sig.Filepath_list

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.

Additional accessors to the list.

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