Module GenVars.Make

module Make: MAKE

Implemenation of the 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