B0_cmdlet.Envtype cmdlet = tval v :
cwd:B0_std.Fpath.t ->
scope_dir:B0_std.Fpath.t ->
root_dir:B0_std.Fpath.t ->
b0_dir:B0_std.Fpath.t ->
cmdlet:cmdlet ->
tval cwd : t -> B0_std.Fpath.tval scope_dir : t -> B0_std.Fpath.tval root_dir : t -> B0_std.Fpath.tval b0_dir : t -> B0_std.Fpath.tval scratch_dir : t -> B0_std.Fpath.t