diff options
Diffstat (limited to 'stdlib/map.mli')
| -rw-r--r-- | stdlib/map.mli | 20 |
1 files changed, 0 insertions, 20 deletions
diff --git a/stdlib/map.mli b/stdlib/map.mli deleted file mode 100644 index 38e2e85e7b..0000000000 --- a/stdlib/map.mli +++ /dev/null @@ -1,20 +0,0 @@ -(* Maps over ordered types *) - -module type OrderedType = - sig - type t - val compare: t -> t -> int - end - -module type S = - sig - type key - type 'a t - val empty: 'a t - val add: key -> 'a -> 'a t -> 'a t - val find: key -> 'a t -> 'a - val iter: (key -> 'a -> 'b) -> 'a t -> unit - val fold: (key -> 'a -> 'b -> 'b) -> 'a t -> 'b -> 'b - end - -module Make(Ord: OrderedType): (S with key = Ord.t) |