#
# ChangeLog for src/ResolvExpr/TypeEnvironment.cc
#
# Generated by Trac 1.2.1
# May 22, 2024, 8:31:32 AM

Fri, 02 Mar 2018 22:34:52 GMT Rob Schluntz <rschlunt@…> [09c72d5]
	* src/ResolvExpr/TypeEnvironment.cc (modified)
	* src/ResolvExpr/TypeEnvironment.h (modified)
	* src/SynTree/TypeSubstitution.h (modified)

	Add function to add bindings from TypeSubstitution to TypeEnvironment


Wed, 22 Nov 2017 20:35:22 GMT Rob Schluntz <rschlunt@…> [98a249fb]
	* src/ResolvExpr/TypeEnvironment.cc (modified)
	* src/ResolvExpr/TypeEnvironment.h (modified)
	* src/SynTree/Expression.cc (modified)

	Add operator<< for TypeEnvironment