Module type GenVars.MAKE

module type MAKE = functor (Pre : PREFIX) -> functor (Obs : OBSERVER) -> functor (Img : IMG) -> functor (State : STATE  with type obs = Obs.t) -> VAR 
  with type obs = Obs.t 
with type img = Img.t

Signature of the functor

Parameters:

`Pre`	:	`PREFIX`
`Obs`	:	`OBSERVER`
`Img`	:	`IMG`
`State`	:	`STATE with type obs = Obs.t`

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