Module Utilsigs

module Utilsigs: sig .. end
Signatures for containers and essential types.

module type BasicType = sig .. end
Most types for use in containers, maps and other stuff must provide the above essential methods.
module type OrderedContainer = sig .. end
A (persistent) ordered container, generalising the standard Set container.
module type OrderedMap = sig .. end
An ordered map, extending the standard Map module.