Closed EduardoRFS closed 1 year ago
Avoid name conflicts and follow a convention.
The first four commits were made to enforce the naming convention of prefixing names to disambiguate between two different types. Here tt_ for term, tpat_ for typedpat and `tp` for core_pat.
tt_
tpat_
Goals
Avoid name conflicts and follow a convention.
Context
The first four commits were made to enforce the naming convention of prefixing names to disambiguate between two different types. Here
tt_for term,tpat_for typedpat and `tp` for core_pat.