proposition: Lemma test_resolution_1 : BagRead int val (map int val).
proof: Proof. Proof using. typeclass. Qed.
imports: TLC(LibTactics LibLogic LibReflect LibOption LibRelation LibLogic LibOperation LibEpsilon LibMonoid LibSet LibContainer LibMap)