]> matita.cs.unibo.it Git - pkg-cerco/acc.git/blob - src/common/costLabel.ml
Package description and copyright added.
[pkg-cerco/acc.git] / src / common / costLabel.ml
1
2 include StringTools
3
4 let constant_map d x = 
5   Set.fold (fun k accu -> Map.add k x accu) d Map.empty