//
//------------------ DOK FILE --------------------------------------------------
+Header	core.util.tree23
=pkg	core.util.tree23
=title	core.util.tree23
=short	
=desc
Documentation in progress...
//
//
//------------------ PROTO ----------------------------------------------------- tree23Dump
+Proto	tree23Dump
=type	fun (fun a1 -> a2) Tree23{a1} -> Tree23{a1}
=mode	function
=pkg	core.util.tree23
=impl	mcy
=link	
=desc	
//
+arg	f
=type	fun a1 -> a2
=desc	
//
+arg	t
=type	Tree23{a1}
=desc	
//
+arg	result
=type	Tree23{a1}
=desc	
//
//
//------------------ PROTO ----------------------------------------------------- tree23Depth
+Proto	tree23Depth
=type	fun Tree23{a1} -> Int
=mode	function
=pkg	core.util.tree23
=impl	mcy
=link	
=desc	
//
+arg	t
=type	Tree23{a1}
=desc	
//
+arg	result
=type	Int
=desc	
//
//
//------------------ PROTO ----------------------------------------------------- tree23AtLeast
+Proto	tree23AtLeast
=type	fun Tree23{a1} (fun a1 -> Bool) -> a1
=mode	function
=pkg	core.util.tree23
=impl	mcy
=link	
=desc	
//
+arg	t
=type	Tree23{a1}
=desc	
//
+arg	fOk
=type	fun a1 -> Bool
=desc	
//
+arg	result
=type	a1
=desc	
//
//
//------------------ PROTO ----------------------------------------------------- tree23Find
+Proto	tree23Find
=type	fun Tree23{a1} (fun a1 -> Int) -> a1
=mode	function
=pkg	core.util.tree23
=impl	mcy
=link	
=desc	
//
+arg	t
=type	Tree23{a1}
=desc	
//
+arg	fCmp
=type	fun a1 -> Int
=desc	
//
+arg	result
=type	a1
=desc	
//
//
//------------------ PROTO ----------------------------------------------------- tree23VisitDesc
+Proto	tree23VisitDesc
=type	fun Tree23{a1} (fun a1 -> Bool) -> Bool
=mode	function
=pkg	core.util.tree23
=impl	mcy
=link	
=desc	
//
+arg	t
=type	Tree23{a1}
=desc	
//
+arg	f
=type	fun a1 -> Bool
=desc	
//
+arg	result
=type	Bool
=desc	
//
//
//------------------ PROTO ----------------------------------------------------- tree23Visit
+Proto	tree23Visit
=type	fun Tree23{a1} (fun a1 -> Bool) -> Bool
=mode	function
=pkg	core.util.tree23
=impl	mcy
=link	
=desc	
//
+arg	t
=type	Tree23{a1}
=desc	
//
+arg	f
=type	fun a1 -> Bool
=desc	
//
+arg	result
=type	Bool
=desc	
//
//
//------------------ PROTO ----------------------------------------------------- tree23Delete
+Proto	tree23Delete
=type	fun Tree23{a1} a1 (fun a1 a1 -> Bool) -> Tree23{a1}
=mode	function
=pkg	core.util.tree23
=impl	mcy
=link	
=desc	
//
+arg	t
=type	Tree23{a1}
=desc	
//
+arg	v
=type	a1
=desc	
//
+arg	fBefore
=type	fun a1 a1 -> Bool
=desc	
//
+arg	result
=type	Tree23{a1}
=desc	
//
//
//------------------ PROTO ----------------------------------------------------- tree23Insert
+Proto	tree23Insert
=type	fun Tree23{a1} a1 (fun a1 a1 -> Bool) -> Tree23{a1}
=mode	function
=pkg	core.util.tree23
=impl	mcy
=link	
=desc	
//
+arg	t
=type	Tree23{a1}
=desc	
//
+arg	v
=type	a1
=desc	
//
+arg	fBefore
=type	fun a1 a1 -> Bool
=desc	
//
+arg	result
=type	Tree23{a1}
=desc	
//
//
//------------------ PROTO ----------------------------------------------------- Tree23
+Proto	Tree23
=type	Tree23{a1}
=mode	sum
=pkg	core.util.tree23
=impl	mcy
=link	
=desc