is_red_black_map_empty: Check if a tree is empty

Description Usage Arguments

Description

Check if a tree is empty

Usage

1

Arguments

tree

Tree we check whether is empty.


mailund/pmtypes documentation built on Jan. 31, 2020, 1:09 p.m.