module Environment: sig
.. end
Environments
Environments are especially useful for maintaining the state, intendend as a set
of bindings, of a user interaction with a GUI.
Environments
Environments are especially useful for maintaining the state, intendend as a set
of bindings, of a user interaction with a GUI.
class [['a, 'b]]
env : unit ->
object
.. end
The class of environments.
val mkenv : ('a * 'b) list -> ('a, 'b) env
Simple constructor for environments.