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: |
E |
: |
sig
include String_datatype
val of_singleton_string: string -> t list
end
|
X |
: |
sig include Input_collection 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