Module Dtools.Var


module Var: sig .. end


type kind =
| Bool
| Int
| Float
| String
| List
exception Duplicate_definition
val register : string -> kind -> unit
exception Type_error of string * kind
val set_bool : string -> bool -> unit
val set_int : string -> int -> unit
val set_float : string -> float -> unit
val set_string : string -> string -> unit
val set_list : string -> string list -> unit