let
fold f s =
Term
.
Map
.fold f s.find