Module ExtSMap

module ExtSMap: sig .. end

Extends the OCaml Map with a string_of function.
Author(s): : Phillip Heidegger

module type OrderedType = sig .. end

Module type that extends the Map.OrderedType with some information needed to print the Map

module type S = sig .. end

Output signature of the functor OwnMap.Make.

module Make: functor (Ord : OrderedType) -> S  with type key = Ord.t

Functor building an implementation of the map structure given a totally ordered type as in the standard libary.