Math.TreeFun.Types
data PropertySuperTree a b
data SuperNode a
type Height
type DistanceMap a
type PropertyMap a b
type MaybePropertyMap a b