The DYNENV signature


Synopsis

signature DYNENV
structure DynamicEnv : DYNENV

Interface

type object
type dynenv
exception Unbound
exception SpecialEnv
val empty : dynenv
val special : ((PersStamps.persstamp -> object) * dynenv) -> dynenv
val look : dynenv -> PersStamps.persstamp -> object
val bind : (PersStamps.persstamp * object * dynenv) -> dynenv
val atop : (dynenv * dynenv) -> dynenv
val remove : (PersStamps.persstamp list * dynenv) -> dynenv
val consolidate : dynenv -> dynenv
val singleton : (PersStamps.persstamp * object) -> dynenv

Description

type object

type dynenv

exception Unbound

exception SpecialEnv

empty


special (f, dy)


look dy pe


bind (pe, ob, dy)


atop (dy, dy2)


remove (l, dy)


consolidate dy


singleton (pe, ob)