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