Previous Up Next

Interface for module Table

module type TABLE =
   sig
     type key
     type α table
     val empty: α table
     val enter: α table × key × α → α table
     val look: α table × key → α option
   end

module type INTKEY = 
   sig
     type key
     val get_intkey → int
   end

module IntmaptableFunfunctor (KeyINTKEY) → TABLE with type key = Key.key

imperative table
module type ITABLE =
   sig 
     type key
     type α table 
     val emptyunit → α table
     val enter: α table × key × α → unit
     val look: α table × key → α option
   end

module ITableFunfunctor (IKey : INTKEY) → ITABLE with type key = IKey.key

 ,
Previous Up Next