module Make_list:functor (
E
:
sig
include Parameter_sig.String_datatype
val of_singleton_string :string -> t list
end
) ->
functor (
X
:
sig
include Parameter_sig.Input_collection
val default :E.t list
end
) ->
Parameter_sig.List
with type elt = E.t and type t = E.t list
Parameters: |
|
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