(* Implementation of signature DICT (see dict.sig) as an association
 * list. *)
structure AListDict :> DICT =
struct
  type 'a dict = (string * 'a) list

  val empty = []

  (* Define bind and lookup here. *)
end