changeset 45778 | df6e210fb44c |
parent 39502 | cffceed8e7fa |
child 72004 | 913162a47d9f |
--- a/src/Tools/Metis/src/KeyMap.sig Wed Dec 07 15:10:29 2011 +0100 +++ b/src/Tools/Metis/src/KeyMap.sig Wed Dec 07 16:03:05 2011 +0100 @@ -12,6 +12,10 @@ type key +val compareKey : key * key -> order + +val equalKey : key -> key -> bool + (* ------------------------------------------------------------------------- *) (* A type of finite maps. *) (* ------------------------------------------------------------------------- *)