4 The MLWorks Interactive Environment Library

4.10 Dynamic types: the Dynamic structure

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

EvalError

dynamic

type_rep

eval

getType

printType

printValue

inspect

Generated with Harlequin WebMaker