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)