(* Naivestore -- implemented as association lists *)

type 'data naivesto = (string * 'data) list

val empty = []

fun get []           x = raise Subscript
  | get ((y, v)::yr) x = if x=y then v else get yr x

fun set sto (k, v) = (k, v) :: sto