module type String_list =Listwith type elt = string and type t = string list
include Parameter_sig.Collection
A list is a collection.
val append_before : t -> unitappend a list in front of the current state
val append_after : t -> unitappend a list at the end of the current state