package org.metaborg.meta.nabl2.terms;

import com.google.common.collect.ImmutableClassToInstanceMap;

public interface ITermVar extends ITerm, IListTerm {

    String getResource();

    String getName();

    ITermVar withAttachments(ImmutableClassToInstanceMap<Object> value);

}
@@ -274,9 +274,61 @@
 alue);%0A%0A
+    @Override ITermVar withLocked(boolean locked);%0A%0A
 %7D

Add override to refine return type.