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