let
apply s a =
Term
.
Map
.find a s