view Main/jungle-main/store/TreeEditor.cs @ 41:bd44baa491a9 default tip

add TestJungleCore.cs
author Kazuma Takeda
date Thu, 23 Feb 2017 17:19:55 +0900
parents 1f99e150f336
children
line wrap: on
line source

namespace JungleDB {
	public interface TreeEditor {
		Either<Error, LoggingNode> edit (TreeNode root, NodePath path, NodeEditor transformer);
	}
}