src/common/costLabel.mli

   1
   2 (** This module provides functions to manipulate and create fresh cost
   3     labels. *)
   4
   5 include StringSig.S
   6
   7 (** [constant_map d x] produces a finite map which associates
   8     [x] to every element of the set [d]. *)
   9 val constant_map : Set.t -> 'a -> 'a Map.t