module Make_list: functor (E : siginclude Parameter_sig.String_datatype
val of_singleton_string : string -> t list
end) -> functor (X : siginclude Parameter_sig.Input_with_arg
val default : E.t list
end) -> Parameter_sig.List with type elt = E.t and type t = E.t list
| Parameters: |
E |
: |
sig
include String_datatype
val of_singleton_string: string -> t list
end
|
X |
: |
sig include Input_with_arg val default: E.t list end
|
|
include Parameter_sig.Collection
A list is a 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
Since Neon-20140301
val append_after : t -> unit
append a list at the end of the current state
Since Neon-20140301