@[implicit_reducible]

instance Lean.instToJsonTreeMapStringCompare {α : Type u_1} [ToJson α] : ToJson (Std.TreeMap String α compare)

@[implicit_reducible]

instance Lean.instFromJsonTreeMapString {α : Type} {cmp : String → String → Ordering} [FromJson α] : FromJson (Std.TreeMap String α cmp)