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