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.Path.t ->
(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) result