fact: Definition gtree_init_tree h := match h, gtree_init_table 0 h.-1 with | _.+1, GtreePair t _ :: _ => t | _, _ => GtreeEmpty end.
imports: mathcomp(ssreflect ssrfun ssrbool eqtype ssrnat seq) fourcolor(color chromogram gtree dyck)