fact: Definition ctree_merge_table (tab : ctree_table) : ctree_table := if tab is line :: tab' then pairmap ctree_merge_pair line tab' else tab.
imports: mathcomp(ssreflect ssrfun ssrbool eqtype ssrnat seq) fourcolor(color ctree dyck)