Skip to main content

tree.tppl

type ClockTree​

type ClockTree =
    | Node {left: ClockTree, right: ClockTree, age: Real}
    | Leaf {age: Real}

function countLeaves​

function countLeaves(tree: ClockTree) => Int