Module Gvars.VARS.ObjectType

module ObjectType: sig .. end

type t 

type key = Syntax.label 

type img = Gvars.VARS.TVar.t