source: extracted/untrusted/pmap.mli @ 2755

Last change on this file since 2755 was 2738, checked in by sacerdot, 7 years ago

Porting the graph colouring stuff from the untrusted prototype to the extracted
code.

File size: 290 bytes
Line 
1type ('k,'a) map
2
3val empty: ('k,'a) map
4
5val find: 'k -> ('k,'a) map -> 'a
6
7val add: 'k -> 'a -> ('k,'a) map -> ('k,'a) map
8
9val remove: 'k -> ('k,'a) map -> ('k,'a) map
10
11val restrict: ('k -> bool) -> ('k,'a) map -> ('k,'a) map
12
13val fold: ('k -> 'a -> 'b -> 'b) -> ('k,'a) map -> 'b -> 'b
Note: See TracBrowser for help on using the repository browser.