Module Gen

module Gen: sig .. end

This module provides functions to generate constraints for a program.

module TEnv: ProglangUtils.OwnMap.S

Module of the type environment (Gamma)

module Gen: sig .. end

Module that generates the constraints for expressions, serious expressions and values