WithSimulation.OpSourceval path :
(F.cursor * S.raw_cursor) ->
((F.cursor * S.raw_cursor) * F.Path.t, Plebeia.Error.t) resultval chdir_parent :
(F.cursor * S.raw_cursor) ->
((F.cursor * S.raw_cursor) * unit, Plebeia.Error.t) resultval chdir_root :
(F.cursor * S.raw_cursor) ->
((F.cursor * S.raw_cursor) * unit, Plebeia.Error.t) resultval cat :
F.FsError.path ->
(F.cursor * S.cursor) ->
((F.cursor * S.cursor) * Plebeia.Value.t, Plebeia.Error.t) resultval write :
S.Map.key list ->
Plebeia.Value.t ->
(F.cursor * S.cursor) ->
((F.cursor * S.raw_cursor) * unit, Plebeia.Error.t) resultval set :
S.Map.key list ->
(F.cursor * S.raw_cursor) ->
(F.cursor * S.cursor) ->
((F.cursor * S.cursor) * unit, Plebeia.Error.t) resultval copy :
F.FsError.path ->
S.Map.key list ->
(F.cursor * S.cursor) ->
((F.cursor * S.cursor) * unit, Plebeia.Error.t) resultval rm :
?recursive:bool ->
?ignore_error:bool ->
F.FsError.path ->
(F.cursor * S.cursor) ->
((F.cursor * S.cursor) * bool, Plebeia.Error.t) resultval rmdir :
?ignore_error:bool ->
F.FsError.path ->
(F.cursor * S.cursor) ->
((F.cursor * S.cursor) * bool, Plebeia.Error.t) result