fact: Definition natmap_omap_raw {A B} (f : A → option B) : natmap_raw A → natmap_raw B := fix go l := match l with [] => [] | o :: l => natmap_cons_canon (o ≫= f) (go l) end.
imports: stdpp(fin_maps mapset) stdpp(options)