Command line fragments
val v : string -> t
v cmd
is a new command line (or command line fragment) whose first argument is cmd
.
val empty : t
empty
is an empty command line.
val is_empty : t -> bool
is_empty l
is true
iff l
is empty.
val p : fpath -> string
p
is (fun f -> f)
.
Predicates and comparison
Conversions and pretty printing
val to_list : t -> string list
to_list l
is l
as a list of strings.
val of_list : ?slip:string -> string list -> t
of_list ?slip l
is a command line from the list of arguments l
. If slip
is specified it is added on the command line before each element of l
.
val dump : Stdlib.Format.formatter -> t -> unit
dump ppf cmd
formats an unspecified representation of cmd
on ppf
.