Math.TreeFun.Types

data PropertySuperTree a b

data SuperNode a

type Height

type DistanceMap a

type PropertyMap a b

type MaybePropertyMap a b