Module Wp_parameters.Why3Flags

module Why3Flags: Parameter_sig.String_list 

include Parameter_sig.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

val append_after : t -> unit

append a list at the end of the current state