fact: Fixpoint coPset_opp_raw (t : coPset_raw) : coPset_raw := match t with | coPLeaf b => coPLeaf (negb b) | coPNode b l r => coPNode' (negb b) (coPset_opp_raw l) (coPset_opp_raw r) end.
imports: stdpp(pmap gmap mapset) stdpp(options)