package uk.co.zonetora.fj.model;

import java.util.Set;

import uk.co.zonetora.fj.typecheck.TypeCheck;

public interface Term {

	Set<ClassName> getAllReferencedClassNames();

    void visit(TypeCheck check);

}