fact: Definition remove (A : Type) (i : key) (m : t A) : t A := M.remove (X.index i) m.
imports: Coq(ZArith) Coq(FMapInterface FMapPositive) Coq(FMapList FMapFacts) Coq(String Ascii List) StructTact(StructTactics StringOrders)