module CoqLibs:Parameter_sig.String_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