Module Basic

Module Basic

This module collects basic interface type for repeatedly needed data structures. Especially, the module type ORDERED is the signature for ordered types, and DICT for dictionaries.
module type TYPE = (* unspecified data *)
   sig
     type t
   end

module type ORDERED = (* type with an order relation. *)
   sig
     type t
     val eq: t × t ® bool
     val lt: t × t ® bool
     val leq: t × t ® bool
     val gt: t × t ® bool
     val geq: t × t ® bool
   end

module type SET =
   sig
     type elem
     type set
     val empty: set
     val insert: elem × set ® elem
     val member: elem × set ® elem
   end

module type DICT = (* a dictionary is a finite map from keys to elements of type elem *)
   sig
     type key
     type elem
     type dict
     exception Not_Found
     val empty: dict
     val insert: dict ® (key × elem) ® dict
     val delete: dict ® key ® dict
     val print_dict: dict ® unit
   end

Pages last (re-)generated October 28, 2002 (Martin Steffen)