package asak

  1. Overview
  2. Docs
type 'a wtree =
  1. | Node of int * 'a wtree * 'a wtree
  2. | Leaf of 'a

Type for weighted trees.

val fold_tree : (int -> 'b -> 'b -> 'b) -> ('a -> 'b) -> 'a wtree -> 'b
val size_of_tree : ('a -> int) -> 'a wtree -> int