(* Implementation of signature DICT (see dict.sig) as a functional
 * value. *)
structure FunDict :> DICT =
struct
  type 'a dict = string -> 'a option

  fun lookup (dict, name) = dict name

  (* Define bind and empty here. *)
end