type
...
    TValue = Integer;
    TPNode = ^TNode;

    TNode = record
        Value : TValue;
        PLeft, PRight : TPNode;
    end;

    BinaryTree = record
        Root: TPNode;
    end;
...