Op.Copy
File copy.
val v_op : id:id -> mark:mark -> created:B00_std.Time.span -> ?post_exec:(op -> unit) -> ?k:(op -> unit) -> mode:int ->
linenum:int option -> src:B00_std.Fpath.t -> B00_std.Fpath.t -> op
v
declares a file copy operation, see the corresponding accessors for the semantics of various arguments.
val v : src:B00_std.Fpath.t -> dst:B00_std.Fpath.t -> mode:int -> linenum:int option -> t
v
constructs a bare copy operation.
val src : t -> B00_std.Fpath.t
src c
is the file read for the copy.
val dst : t -> B00_std.Fpath.t
dst c
is the written by the copy.
val mode : t -> int
mode c
is the mode of the file written by the copy.
val linenum : t -> int option
linenum c
is the linumber directive to write at the begining of the destination file (if any).