(*
 * property_map.sml - Property Map Concepts
 *   Ronald Garcia
 *   $Id: property_map.sml,v 1.4 2003/08/08 22:15:34 garcia Exp $
 *)

signature ReadablePropertyMapSig =
sig
    type data_t
    type value_t
    type key_t
    val get : data_t -> key_t -> value_t
end

signature ReadWritePropertyMapSig =
sig
    include ReadablePropertyMapSig
    val put : data_t -> key_t -> value_t -> unit
end

signature BasicMatrixSig =
sig
    type data_t
    type value_t
    type key_t
    val get : data_t -> key_t * key_t -> value_t
    val put : data_t -> key_t * key_t -> value_t -> unit
end