extracted/untrusted/pmap.mli

   1 type ('k,'a) map
   2
   3 val empty: ('k,'a) map
   4
   5 val find: 'k -> ('k,'a) map -> 'a
   6
   7 val add: 'k -> 'a -> ('k,'a) map -> ('k,'a) map
   8
   9 val remove: 'k -> ('k,'a) map -> ('k,'a) map
  10
  11 val restrict: ('k -> bool) -> ('k,'a) map -> ('k,'a) map
  12
  13 val fold: ('k -> 'a -> 'b -> 'b) -> ('k,'a) map -> 'b -> 'b