Module type GenVars.VAR

module type VAR = sig .. end

This module type is the signature of the typevars. It is used every time where the jsanalse program make use of type variables.

include GenVars.VAR_WITHOUT_IMG

type img

The image

val add_img : img -> t -> unit

extends the image of the mapping from type variables to types

val get_img : t -> img option

returns the image