4 The MLWorks Interactive Environment Library
4.10 Dynamic types: the Dynamic structure
An experimental implementation of dynamic types.
structure Dynamic: sig exception Coerce of (type_rep * type_rep) exception EvalError of string type dynamic type type_rep val eval: string -> dynamic val getType: dynamic -> type_rep val printType: type_rep -> string val printValue: dynamic -> string val inspect: dynamic -> unit end