module Make_list:functor (E:siginclude Parameter_sig.String_datatypeval of_singleton_string :string -> t listend) ->functor (X:siginclude Parameter_sig.Input_collectionval default :E.t listend) ->Parameter_sig.Listwith type elt = E.t and type t = E.t list
| Parameters: |
|
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