Up  Next

Module Gen.TEnv


module TEnv: ProglangUtils.OwnMap.S
Module of the type environment (Gamma)