Versions Compared

Key

  • This line was added.
  • This line was removed.
  • Formatting was changed.

...

Code Block
(ann assoc (All [m x ...2] [m x ...2 x -> (Assoc m x ...2 x)]))
(ann dissoc (All [m x ...] [m x ... x -> (Dissoc m x ... x)]))