Changeset 8d7bef2 for src/SynTree/TypeSubstitution.h
- Timestamp:
- Mar 20, 2018, 5:12:25 PM (6 years ago)
- Branches:
- new-env, with_gc
- Children:
- 7e4b44db
- Parents:
- 68f9c43
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
src/SynTree/TypeSubstitution.h
r68f9c43 r8d7bef2 59 59 void normalize(); 60 60 61 void accept( Visitor& v ) { v.visit( this ); } 61 62 TypeSubstitution * acceptMutator( Mutator & m ) { return m.mutate( this ); } 62 63
Note: See TracChangeset
for help on using the changeset viewer.