let
inv s a =
Map
.find a s.inv