Module Fold_map.Add

module Add: S_sexpable 
  with type in_value  = int
  and  type out_value = int

A fold for adding. e.g. symbol positions

include Fold_map.S

include Sexpable.S1